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

Solving QBF with counterexample guided refinement.

Mikolás JanotaWilliam KlieberJoão Marques-SilvaEdmund M. Clarke
Published in: Artif. Intell. (2016)
Keyphrases
  • uniform distribution
  • membership queries
  • model checking
  • lower bound
  • information retrieval
  • solving problems
  • boolean satisfiability