Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs.

Stephan Gocht Jakob Nordström

Published in: CoRR (2022)

Keyphrases

pseudo boolean
integer linear programming
theorem proving
knowledge base
search space
evolutionary algorithm
exact solution
pseudo boolean constraints