Picture for Ian Miguel

Ian Miguel

Automating Reformulation of Essence Specifications via Graph Rewriting

Add code
Nov 14, 2024
Viaarxiv icon

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

Frugal Algorithm Selection

Add code
May 17, 2024
Figure 1 for Frugal Algorithm Selection
Figure 2 for Frugal Algorithm Selection
Figure 3 for Frugal Algorithm Selection
Figure 4 for Frugal Algorithm Selection
Viaarxiv icon

Towards Exploratory Reformulation of Constraint Models

Add code
Nov 20, 2023
Figure 1 for Towards Exploratory Reformulation of Constraint Models
Figure 2 for Towards Exploratory Reformulation of Constraint Models
Figure 3 for Towards Exploratory Reformulation of Constraint Models
Figure 4 for Towards Exploratory Reformulation of Constraint Models
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

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

A Preliminary Case Study of Planning With Complex Transitions: Plotting

Add code
Oct 27, 2021
Figure 1 for A Preliminary Case Study of Planning With Complex Transitions: Plotting
Figure 2 for A Preliminary Case Study of Planning With Complex Transitions: Plotting
Figure 3 for A Preliminary Case Study of Planning With Complex Transitions: Plotting
Viaarxiv icon