Picture for Christopher Jefferson

Christopher Jefferson

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

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

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

Add code
Apr 30, 2021
Figure 1 for Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Figure 2 for Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Figure 3 for Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Viaarxiv icon

Short and Long Supports for Constraint Propagation

Add code
Feb 04, 2014
Figure 1 for Short and Long Supports for Constraint Propagation
Figure 2 for Short and Long Supports for Constraint Propagation
Figure 3 for Short and Long Supports for Constraint Propagation
Figure 4 for Short and Long Supports for Constraint Propagation
Viaarxiv icon