Counting Solutions to Random CNF Formulas.

Andreas Galanis Leslie Ann Goldberg Heng Guo Kuan Yang

Published in: ICALP (2020)

Keyphrases

cnf formula
expert systems
stable set
database
search algorithm
knowledge acquisition