13 citations · 14 across the 3 of their papers we have counts for
3 papers
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Many constraint satisfaction and optimisation problems can be solved effectively by encoding them as instances of the Boolean Satisfiability problem (SAT). However, even the simple…
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Özgür Akgün, Ian P. Gent, Christopher Jefferson +5
The performance of a constraint model can often be improved by converting a subproblem into a single table constraint (referred to as tabulation). Finding subproblems to tabulate i…
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Miquel Bofill, Jordi Coll, Peter Nightingale +3
When solving a combinatorial problem using propositional satisfiability (SAT), the encoding of the problem is of vital importance. We study encodings of Pseudo-Boolean (PB) constra…