Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs.

Stephan Gocht Jakob Nordström

Published in: AAAI (2021)

Keyphrases

pseudo boolean
knowledge base
linear program
theorem proving
integer linear programming
pseudo boolean constraints
optimal solution
expert systems
knowledge representation
theorem prover
probabilistic reasoning