| Publication | Date of Publication | Type |
|---|
Dissecting widening: separating termination from information
| 2024-04-19 | Paper |
Transformation-Enabled Precondition Inference
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Core-guided and core-boosted search for CP
| 2022-12-21 | Paper |
Coupling different integer encodings for SAT
| 2022-08-30 | Paper |
Fixing the state budget: approximation of regular languages with small DFAs
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Algorithm selection for dynamic symbolic execution: a preliminary study
| 2022-03-23 | Paper |
Pairwise symmetry reasoning for multi-agent path finding search
Artificial Intelligence | 2021-12-13 | Paper |
Dashed strings for string constraint solving
Artificial Intelligence | 2021-08-16 | Paper |
Nutmeg: a MIP and CP hybrid solver using branch-and-check
SN Operations Research Forum | 2021-02-08 | Paper |
Compiling CP subproblems to MDDs and d-DNNFs
Constraints | 2019-10-25 | Paper |
Constraint programming for dynamic symbolic execution of JavaScript
| 2019-10-14 | Paper |
An iterative approach to precondition inference using constrained Horn clauses
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
| 2018-11-21 | Paper |
Exploiting sparsity in difference-bound matrices
| 2018-08-27 | Paper |
Breaking symmetries with lex implications
| 2018-07-09 | Paper |
Reference abstract domains and applications to string analysis
Fundamenta Informaticae | 2018-05-03 | Paper |
A Benders decomposition approach to deciding modular linear integer arithmetic
| 2017-11-15 | Paper |
Horn clauses as an intermediate representation for program analysis and transformation
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Minimizing landscape resistance for habitat conservation
| 2017-08-04 | Paper |
On CNF encodings of decision diagrams
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Lagrangian decomposition via sub-problem search
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Weighted spanning tree constraint with explanations
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
A complete refinement procedure for regular separability of context-free languages
Theoretical Computer Science | 2016-04-01 | Paper |
An abstract domain of uninterpreted functions
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Automatic minimal-height table layout
INFORMS Journal on Computing | 2015-12-21 | Paper |
Analyzing Array Manipulating Programs by Program Transformation
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Failure tabled constraint logic programming by interpolation
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Unbounded model-checking with interpolation for regular language constraints
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Solving difference constraints over modular arithmetic
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
MDD propagators with explanation
Constraints | 2012-06-20 | Paper |
Optimal \(k\)-level planarization and crossing minimization
Graph Drawing | 2011-02-11 | Paper |
Fast set bounds propagation using a BDD-SAT hybrid
Journal of Artificial Intelligence Research | 2010-08-06 | Paper |
