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..

Improving Single and Multi-View Blockmodelling by Algebraic Simplification

R Ramteke, PJ Stuckey, J Chan, K Ramamohanarao, J Bailey, C Leckie, E Demirovic

Conference Proceedings  |  2020  |  2020 International Joint Conference on Neural Networks (IJCNN)

Blockmodelling is an important technique in social network analysis for discovering the latent structures and groupings in graphs...

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, ..

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..

Dashed Strings and the Replace(-all) Constraint

Roberto Amadini, Graeme Gange, Peter J Stuckey

Conference Proceedings  |  2020  |  Lecture Notes in Artificial Intelligence

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

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..

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..

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..

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..