research
∙
10/27/2021
A Preliminary Case Study of Planning With Complex Transitions: Plotting
Plotting is a tile-matching puzzle video game published by Taito in 1989...
share
research
∙
10/15/2021
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
When solving a combinatorial problem using propositional satisfiability ...
research
∙
02/16/2021
