research
∙
07/18/2023
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Many constraint satisfaction and optimisation problems can be solved eff...
share
research
∙
05/29/2022
A Framework for Generating Informative Benchmark Instances
Benchmarking is an important tool for assessing the relative performance...
research
∙
02/26/2022
Automatic Tabulation in Constraint Models
The performance of a constraint model can often be improved by convertin...
research
∙
11/01/2021
Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a ...
research
∙
10/15/2021
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
When solving a combinatorial problem using propositional satisfiability ...
research
∙
03/29/2018
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
research
∙
01/12/2016
Essence' Description
A description of the Essence' language as used by the tool Savile Row....
research
∙
04/22/2015
Generalized Support and Formal Development of Constraint Propagators
Constraint programming is a family of techniques for solving combinatori...
research
∙
02/04/2014
Short and Long Supports for Constraint Propagation
Special-purpose constraint propagation algorithms frequently make implic...
research
∙
09/18/2012
Qualitative Modelling via Constraint Programming: Past, Present and Future
Qualitative modelling is a technique integrating the fields of theoretic...
research
∙
08/25/2010