Picture for Peter Nightingale

Peter Nightingale

Athanor: Local Search over Abstract Constraint Specifications

Add code
Oct 08, 2024
Figure 1 for Athanor: Local Search over Abstract Constraint Specifications
Figure 2 for Athanor: Local Search over Abstract Constraint Specifications
Figure 3 for Athanor: Local Search over Abstract Constraint Specifications
Figure 4 for Athanor: Local Search over Abstract Constraint Specifications
Viaarxiv icon

Towards a Model of Puzznic

Add code
Oct 02, 2023
Viaarxiv icon

Challenges in Modelling and Solving Plotting with PDDL

Add code
Oct 02, 2023
Viaarxiv icon

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Add code
Jul 18, 2023
Viaarxiv icon

A Framework for Generating Informative Benchmark Instances

Add code
May 29, 2022
Figure 1 for A Framework for Generating Informative Benchmark Instances
Figure 2 for A Framework for Generating Informative Benchmark Instances
Figure 3 for A Framework for Generating Informative Benchmark Instances
Figure 4 for A Framework for Generating Informative Benchmark Instances
Viaarxiv icon

Automatic Tabulation in Constraint Models

Add code
Feb 26, 2022
Figure 1 for Automatic Tabulation in Constraint Models
Figure 2 for Automatic Tabulation in Constraint Models
Figure 3 for Automatic Tabulation in Constraint Models
Figure 4 for Automatic Tabulation in Constraint Models
Viaarxiv icon

Towards Reformulating Essence Specifications for Robustness

Add code
Nov 01, 2021
Figure 1 for Towards Reformulating Essence Specifications for Robustness
Figure 2 for Towards Reformulating Essence Specifications for Robustness
Figure 3 for Towards Reformulating Essence Specifications for Robustness
Figure 4 for Towards Reformulating Essence Specifications for Robustness
Viaarxiv icon

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints

Add code
Oct 15, 2021
Figure 1 for SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Figure 2 for SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Figure 3 for SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Figure 4 for SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Viaarxiv icon

A Review of Literature on Parallel Constraint Solving

Add code
Mar 29, 2018
Viaarxiv icon

Generalized Support and Formal Development of Constraint Propagators

Add code
May 30, 2016
Figure 1 for Generalized Support and Formal Development of Constraint Propagators
Viaarxiv icon