Search Results for author:
Found 4 papers, 2 papers with code
On Grid Graph Reachability and Puzzle Games
Many puzzle video games, like Sokoban, involve moving some agent in a maze.
A Good Snowman is Hard to Plan
In this work we face a challenging puzzle video game: A Good Snowman is Hard to Build.
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
When solving a combinatorial problem using propositional satisfiability (SAT), the encoding of the problem is of vital importance.
Solving the Wastewater Treatment Plant Problem with SMT
In this paper we introduce the Wastewater Treatment Plant Problem, a real-world scheduling problem, and compare the performance of several tools on it.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
