Core Research Domains
Our research spans fundamental theoretical encodings to industrial combinatorial optimization applications.
THEORETICAL CORE
1. SAT & Pseudo-Boolean Encodings
Developing New Sequential Counter (NSC) variants, Cardinality encodings (AMO/AMK/ALK), and Pseudo-Boolean translations for CNF solvers.
INDUSTRIAL APPS
2. Assembly Line Balancing & Scheduling
Exact decision algorithms for Power Peak Minimization in SALB/UALBP, Job-Shop Scheduling, and Train Rescheduling via MaxSAT-DDD.
GEOMETRIC OPTIMIZATION
3. 2D Strip & Bin Packing
Formulating non-overlapping spatial constraints and rotation-free models for 2D Strip Packing and Cutting Stock Problems.
GRAPH ALGORITHMS
4. Graph Labeling & Frequency Assignment
Solving Antibandwidth, Cyclic Antibandwidth, Radio-k Labeling, Bandwidth Multicoloring, and Mobile Frequency Allocation via SAT.