C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Solving QBF with Counterexample Guided Refinement.
Mikolás Janota
William Klieber
João Marques-Silva
Edmund M. Clarke
Published in:
SAT (2012)
Keyphrases
</>
model checking
information retrieval
information systems
reinforcement learning
combinatorial optimization
solving problems