Lilotane: A Lifted SAT-based Approach to Hierarchical Planning.

Dominik Schreiber

Published in: J. Artif. Intell. Res. (2021)

Keyphrases

boolean satisfiability
sat solvers
sat solving
sat problem
max sat
probabilistic inference
graphical models
satisfiability problem
phase transition
message passing
artificial intelligence
lower bound
propositional logic