OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.

Ankit Shukla Sibylle Möhle Manuel Kauers Martina Seidl

Published in: CICM (2022)

Keyphrases

quantified boolean formulas
artificial intelligence
genetic algorithm
knowledge base
lower bound
knowledge representation
constraint satisfaction