SAT Based BDD Solver for Quantified Boolean Formulas - Université d'Artois Access content directly
Conference Papers Year : 2004

SAT Based BDD Solver for Quantified Boolean Formulas

Not file

Dates and versions

hal-03299484 , version 1 (26-07-2021)

Identifiers

  • HAL Id : hal-03299484 , version 1

Cite

Gilles Audemard, Lakhdar Saïs. SAT Based BDD Solver for Quantified Boolean Formulas. 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), 2004, Boca Raton, United States. pp.82 - 89. ⟨hal-03299484⟩
4 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More