Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.
Masood Feyzbakhsh RankoohJussi RintanenPublished in: AAAI (2022)
Keyphrases
- pseudo boolean constraints
- propositional logic
- first order logic
- data exchange
- logic programming
- transitive closure
- sat encodings
- query answering
- state space
- hamiltonian cycle
- graph coloring
- multi valued
- non binary
- minimum weight
- directed graph
- planning problems
- orders of magnitude
- default logic
- bounded treewidth
- boolean satisfiability
- horn clauses
- probabilistic logic
- strips planning
- belief revision