13 citations · 23 across the 3 of their papers we have counts for
3 papers
cs.AI2021
Towards Reformulating Essence Specifications for Robustness
Özgür Akgün, Alan M. Frisch, Ian P. Gent +4
The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made. Essence specifications are…
cs.AI2021★ 13 cited
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…
cs.AI2010★ 10 cited
Machine learning for constraint solver design -- A case study for the alldifferent constraint
Ian Gent, Lars Kotthoff, Ian Miguel +1
Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the perform…