Peter Nightingale

James Alfred Walker

Constraints An Int. J., September, 2023

Towards a Model of Puzznic.

[BibT_eX]

[DOI]

CoRR, 2023

Challenges in Modelling and Solving Plotting with PDDL.

[BibT_eX]

[DOI]

CoRR, 2023

Learning When to Use Automatic Tabulation in Constraint Model Reformulation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract).

[BibT_eX]

[DOI]

Alan M. Frisch

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Automatic Tabulation in Constraint Models.

[BibT_eX]

[DOI]

CoRR, 2022

Savile Row Manual.

[BibT_eX]

[DOI]

CoRR, 2022

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Conjure: Automatic Generation of Constraint Models from Problem Specifications.

[BibT_eX]

[DOI]

Alan M. Frisch

Artif. Intell., 2022

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.

[BibT_eX]

[DOI]

Felix Ulrich-Oltean

James Alfred Walker

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Framework for Generating Informative Benchmark Instances.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Towards Reformulating Essence Specifications for Robustness.

[BibT_eX]

[DOI]

Alan M. Frisch

András Z. Salamon

CoRR, 2021

Improving Misinformation Detection in Tweets with Abstract Argumentation.

[BibT_eX]

[DOI]

Lars Malmqvist

Tommy Yuan

Proceedings of the 21st Workshop on Computational Models of Natural Argument, 2021

2020

How People Visually Represent Discrete Constraint Problems.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2020

Effective Encodings of Constraint Programming Models to SMT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.

[BibT_eX]

[DOI]

Saad Attieh

Nguyen Dang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

A review of literature on parallel constraint solving.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Complexity of n-Queens Completion (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Framework for Constraint Based Local Search using Essence.

[BibT_eX]

[DOI]

Saad Attieh

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Closed Frequent Itemset Mining with Arbitrary Side Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.

[BibT_eX]

[DOI]

András Z. Salamon

Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Complexity of n-Queens Completion.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Generalized support and formal development of constraint propagators.

[BibT_eX]

[DOI]

James L. Caldwell

AI Commun., 2017

Automatically improving constraint models in Savile Row.

[BibT_eX]

[DOI]

Patrick Spracklen

Artif. Intell., 2017

2016

Essence' Description.

[BibT_eX]

[DOI]

Andrea Rendl

CoRR, 2016

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

S-Crucial and Bicrucial Permutations with Respect to Squares.

[BibT_eX]

[DOI]

J. Integer Seq., 2015

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.

[BibT_eX]

[DOI]

Patrick Spracklen

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Qualitative modelling via constraint programming.

[BibT_eX]

[DOI]

Thomas W. Kelsey

Constraints An Int. J., 2014

Generating custom propagators for arbitrary constraints.

[BibT_eX]

[DOI]

Steve Linton

Artif. Intell., 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

[BibT_eX]

[DOI]

Ozgur Akgun

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

Discriminating Instance Generation for Automated Constraint Model Selection.

[BibT_eX]

[DOI]

Bilal Syed Hussain

Glenna F. Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Short and Long Supports for Constraint Propagation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Extending Simple Tabular Reduction with Short Supports.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Automated Symmetry Breaking and Model Selection in Conjure.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Qualitative Modelling via Constraint Programming: Past, Present and Future

[BibT_eX]

[DOI]

Thomas W. Kelsey

CoRR, 2012

An automated approach to generating efficient constraint solvers.

[BibT_eX]

[DOI]

Dharini Balasubramaniam

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

The extended global cardinality constraint: An empirical survey.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.

[BibT_eX]

[DOI]

Dharini Balasubramaniam

Lakshitha de Silva

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Machine learning for constraint solver design -- A case study for the alldifferent constraint

[BibT_eX]

[DOI]

CoRR, 2010

Implementing logical connectives in constraint programming.

[BibT_eX]

[DOI]

Neil C. A. Moore

Karen E. Petrie

Artif. Intell., 2010

Learning When to Use Lazy Learning in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Ensemble Classification for Constraint Solver Configuration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Non-binary quantified CSP: algorithms and modelling.

[BibT_eX]

[DOI]

Constraints An Int. J., 2009

Modelling Equidistant Frequency Permutation Arrays in Constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Solving quantified constraint satisfaction problems.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Generalised arc consistency for the AllDifferent constraint: An empirical survey.

[BibT_eX]

[DOI]

Peter William Nightingale

Artif. Intell., 2008

2007

Consistency and the Quantified Constraint Satisfaction Problem.

[BibT_eX]

[DOI]

PhD thesis, 2007

Search in the patience game 'Black Hole'.

[BibT_eX]

[DOI]

AI Commun., 2007

Data Structures for Generalised Arc Consistency for Extensional Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2005

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.

[BibT_eX]

[DOI]

J. Autom. Reason., 2005

QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Kostas Stergiou

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Consistency for Quantified Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Encoding Quantified CSPs as Quantified Boolean Formulae.

[BibT_eX]