Clausal Proofs for Pseudo-Boolean Reasoning.
Randal E. BryantArmin BiereMarijn J. H. HeulePublished in: TACAS (1) (2022)
Keyphrases
- theorem proving
- pseudo boolean
- automated reasoning
- decision procedures
- propositional satisfiability
- pseudo boolean constraints
- theorem prover
- symmetry breaking
- integer linear programming
- combinatorial problems
- knowledge representation
- exact solution
- boolean optimization
- first order logic
- probabilistic reasoning
- np hard
- knowledge base