Picture for András Z. Salamon

András Z. Salamon

Automating Reformulation of Essence Specifications via Graph Rewriting

Add code
Nov 14, 2024
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

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

Exploring Instance Generation for Automated Planning

Add code
Sep 21, 2020
Figure 1 for Exploring Instance Generation for Automated Planning
Figure 2 for Exploring Instance Generation for Automated Planning
Figure 3 for Exploring Instance Generation for Automated Planning
Figure 4 for Exploring Instance Generation for Automated Planning
Viaarxiv icon

The tractability of CSP classes defined by forbidden patterns

Add code
Jul 08, 2014
Figure 1 for The tractability of CSP classes defined by forbidden patterns
Viaarxiv icon