Certified Knowledge Compilation with Application to Verified Model Counting.

Randal E. Bryant Wojciech Nawrocki Jeremy Avigad Marijn J. H. Heule

Published in: SAT (2023)

Keyphrases

model counting
knowledge compilation
product configuration
databases
artificial intelligence
satisfiability testing
information retrieval