C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Provably optimal test cube generation using quantified boolean formula solving.
Matthias Sauer
Sven Reimer
Ilia Polian
Tobias Schubert
Bernd Becker
Published in:
ASP-DAC (2013)
Keyphrases
</>
boolean formula
sat solvers
sat instances
np complete
practical problems
boolean variables
genetic algorithm
special case
orders of magnitude
randomly generated
sat problem