Picture for Mateu Villaret

Mateu Villaret

Towards a Model of Puzznic

Add code
Oct 02, 2023
Viaarxiv icon

A Good Snowman is Hard to Plan

Add code
Oct 02, 2023
Viaarxiv icon

On Grid Graph Reachability and Puzzle Games

Add code
Oct 02, 2023
Viaarxiv icon

Challenges in Modelling and Solving Plotting with PDDL

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

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

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Add code
Feb 16, 2021
Figure 1 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 2 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 3 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Viaarxiv icon