Login / Signup

Lifting QBF Resolution Calculi to DQBF.

Olaf BeyersdorffLeroy ChewRenate A. SchmidtMartin Suda
Published in: SAT (2016)
Keyphrases
  • high resolution
  • quantified boolean formulas
  • wavelet transform
  • genetic algorithm
  • sampling rate
  • consequence finding