Picture for Miquel Bofill

Miquel Bofill

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

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

Solving the Wastewater Treatment Plant Problem with SMT

Add code
Sep 17, 2016
Figure 1 for Solving the Wastewater Treatment Plant Problem with SMT
Figure 2 for Solving the Wastewater Treatment Plant Problem with SMT
Figure 3 for Solving the Wastewater Treatment Plant Problem with SMT
Viaarxiv icon