research
∙
11/01/2021
Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a ...
share
research
∙
10/03/2019
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
research
∙
03/27/2013
Convergent Deduction for Probabilistic Logic
This paper discusses the semantics and proof theory of Nilsson's probabi...
research
∙
03/27/2013
Probability as a Modal Operator
This paper argues for a modal view of probability. The syntax and semant...
research
∙
09/08/2011
Conjure Revisited: Towards Automated Constraint Modelling
Automating the constraint modelling process is one of the key challenges...
research
∙
05/22/2009
