Peter Stuckey

Dashed strings for string constraint solving

R Amadini, G Gange, PJ Stuckey

Journal article  |  2020  |  Artificial Intelligence

String processing is ubiquitous across computer science, and arguably more so in web programming — where it is also a critical par..

Solving Satisfaction Problems Using Large-Neighbourhood Search

Gustav Björdal, Pierre Flener, Justin Pearson, Peter Stuckey, Guido Tack

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Large-neighbourhood search (LNS) improves an initial solution, hence it is not directly applicable to satisfaction problems. In or..

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models

Buser Say, Jo Devriendt, Jakob Nordström, Peter Stuckey

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

We study planning problems where the transition function is described by a learned binarized neural network (BNN). Theoretically, ..

The Argmax Constraint

Graeme Gange, Peter Stuckey

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

The argmax function returns the index of the (first copy of the) maximum value occuring in a list of values. argmax is important i..

Dashed Strings and the Replace(-all) Constraint

Roberto Amadini, Graeme Gange, Peter J Stuckey

Conference Proceedings  |  2020  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Dashed strings are a formalism for modelling the domain of string variables when solving combinatorial problems with string constr..

Large Neighborhood Search for Temperature Control with Demand Response

Edward Lam, Frits de Nijs, Peter Stuckey, Donald Azuatalam, Ariel Liebman

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Demand response is a control problem that optimizes the operation of electrical loads subject to limits on power consumption durin..

Shifting the Balance-of-Power in STV Elections

Michelle Blom, Andrew Conway, Peter J Stuckey, Vanessa Teague

Conference Proceedings  |  2020  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

In the context of increasing automation of Australian electoral processes, and accusations of deliberate interference in elections..

Computing Optimal Decision Sets with SAT

Jinqiang Yu, Alexey Ignatiev, Peter Stuckey, Pierre Le Bodic

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

As machine learning is increasingly used to help make decisions, there is a demand for these decisions to be explainable. Arguably..

Exact Approaches to the Multi-agent Collective Construction Problem

Edward Lam, Peter Stuckey, Sven Koenig, TK Satish Kumar

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

The multi-agent collective construction problem tasks agents to construct any given three-dimensional structure on a grid by repos..

Aggregation and Garbage Collection for Online Optimization

Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter Stuckey, Guido Tack

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Online optimization approaches are popular for solving optimization problems where not all data is considered at once, because it ..