Picture for Ian P. Gent

Ian P. Gent

Behaviour Planning: A Toolkit for Diverse Planning

Add code
May 07, 2024
Viaarxiv icon

Bridging the Gap between Structural and Semantic Similarity in Diverse Planning

Add code
Oct 02, 2023
Viaarxiv icon

Towards a Model of Puzznic

Add code
Oct 02, 2023
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

The Winnability of Klondike and Many Other Single-Player Card Games

Add code
Jun 28, 2019
Figure 1 for The Winnability of Klondike and Many Other Single-Player Card Games
Figure 2 for The Winnability of Klondike and Many Other Single-Player Card Games
Figure 3 for The Winnability of Klondike and Many Other Single-Player Card Games
Figure 4 for The Winnability of Klondike and Many Other Single-Player Card Games
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

Qualitative Modelling via Constraint Programming: Past, Present and Future

Add code
Sep 18, 2012
Figure 1 for Qualitative Modelling via Constraint Programming: Past, Present and Future
Figure 2 for Qualitative Modelling via Constraint Programming: Past, Present and Future
Figure 3 for Qualitative Modelling via Constraint Programming: Past, Present and Future
Figure 4 for Qualitative Modelling via Constraint Programming: Past, Present and Future
Viaarxiv icon