Research Team Directory
Faculty leads, postdocs, PhD candidates, and active student researchers conducting formal automated reasoning and exact solver engineering at UET-VNU.
1. Faculty & Group Leads
Expert in Software Verification, SAT/MaxSAT Encodings, Symbolic Execution, and Combinatorial Optimization at UET-VNU.
2. Researchers & PhD Candidates
Lead researcher in SAT-based Task Scheduling, Social Golfer, 2D Strip Packing, Assembly Line Balancing, and MaxSAT-DDD.
Primary author of SAT encodings for Antibandwidth, Cyclic Antibandwidth (COAP Q1 ISI), staircase constraints, and SCLib architecture.
Researcher in Pseudo-Boolean encodings, Radio-k Labeling, k-Safe Labeling, symmetry breaking, and incremental SAT solving.
Researcher in sequence constraints, frequency assignment problems, and automated decision solvers.
3. Student Researchers & Co-Authors (K69 – K71)
Co-author of Bandwidth Coloring (Pesquisa 2026), Bandwidth Multicoloring (RAIRO-OR), and k-Safe Labeling (CITA 2026).
Co-author of 2D Strip Packing Problem in Pesquisa Operacional (2025, Q4 Scopus).
Co-author of 2D Bin Packing (KSE 2025) and Cutting Stock Problem (JCSC 2026).
Co-author of Social Golfer Problem in RAIRO - Operations Research (2026, Q3 ISI).
Co-author of Nurse Rostering Sequence Constraints (ISCIT 2025, Rank B).
Co-author of Power Peak Minimization in Assembly Line Balancing (JCO 2026, EngOpt 2026).
Co-author of Assembly Line Balancing SAT Encodings in Journal of Combinatorial Optimization (JCO 2026).
Co-author of No-Hole Anti-k-Labeling in Discrete Mathematics, Algorithms and Applications (DMAA 2026).
Co-author of Exact k-Safe Labeling via Incremental SAT (CITA 2026).
Co-author of Minimum Order Frequency Assignment Problem in IEEE Latin America Transactions (2026).
Co-author of Railway Train Rescheduling via MaxSAT-DDD (CSoNet 2026).
Co-author of Radio-k Labeling of General Graphs (Wireless Networks 2026).
Co-author of 2D Bandwidth Minimization Problem (Discrete Applied Mathematics 2026).