Picture for Mateu Villaret

Mateu Villaret

Towards a Model of Puzznic

Add code
Oct 02, 2023
Viaarxiv icon

On Grid Graph Reachability and Puzzle Games

Add code
Oct 02, 2023
Viaarxiv icon

A Good Snowman is Hard to Plan

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