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

Challenges in Modelling and Solving Plotting with PDDL

Add code
Oct 02, 2023
Viaarxiv icon

Towards a Model of Puzznic

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