Sign in

Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract.

Christoph SchollRalf Wimmer
Published in: SAT (2018)
Keyphrases
  • extended abstract
  • linear programming
  • qualitative and quantitative