Login / Signup

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