Search Results for author:
Found 2 papers, 0 papers with code
A Preliminary Case Study of Planning With Complex Transitions: Plotting
Plotting is an example of a planning problem: given a model of the environment, a planning problem asks us to find a sequence of actions that can lead from an initial state of the environment to a given goal state while respecting some constraints.
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
