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

Provably optimal test cube generation using quantified boolean formula solving.

Matthias SauerSven ReimerIlia PolianTobias SchubertBernd 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