Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination.
Masood Feyzbakhsh RankoohJussi RintanenPublished in: CoRR (2021)
Keyphrases
- pseudo boolean constraints
- propositional logic
- data exchange
- state space
- first order logic
- transitive closure
- logic programming
- minimum weight
- directed graph
- non binary
- strips planning
- default logic
- query answering
- multi valued
- orders of magnitude
- satisfiability testing
- knowledge compilation
- statistical relational learning
- boolean satisfiability
- horn clauses
- hamiltonian cycle
- knowledge base
- belief base
- probabilistic logic
- constraint satisfaction
- expressive power