13 citations · 14 across the 3 of their papers we have counts for
4 papers
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…
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…
A Review of Literature on Parallel Constraint Solving
Ian P. Gent, Ciaran McCreesh, Ian Miguel +4
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to explo…
Qualitative Modelling via Constraint Programming: Past, Present and Future
Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson +4
Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able…