GPU Accelerated Compact-Table PropagationTheory and Practice of Logic Programming (TPLP), 2025 |
Towards a Generic Representation of Combinatorial Problems for
Learning-Based ApproachesIntegration of AI and OR Techniques in Constraint Programming (CPAIOR), 2024 |
TabID: Automatic Identification and Tabulation of Subproblems in Constraint ModelsJournal of Artificial Intelligence Research (JAIR), 2022 |
Faster Exact MPE and Constrained Optimization with Deterministic Finite
State AutomataInternational Joint Conference on Artificial Intelligence (IJCAI), 2021 |
Learning Variable Ordering Heuristics for Solving Constraint
Satisfaction ProblemsEngineering applications of artificial intelligence (EAAI), 2019 |