Picture for Miquel Bofill

Miquel Bofill

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

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