• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Ankit ShuklaSibylle MöhleManuel KauersMartina Seidl
Published in: CICM (2022)
Keyphrases
  • quantified boolean formulas
  • artificial intelligence
  • genetic algorithm
  • knowledge base
  • lower bound
  • knowledge representation
  • constraint satisfaction