Circuits, Proofs and Propositional Model Counting.

Sravanthi Chede Leroy Chew Anil Shukla

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

logic programming
model counting
satisfiability testing
knowledge compilation
weighted model counting
polynomial size
knowledge representation
propositional logic
theorem proving
propositional formulas
theorem prover
boolean functions
natural language
lower bound
probabilistic model
first order logic