References in zbMATH (referenced in 18 articles , 1 standard article )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena: Building strategies into QBF proofs (2021)
  2. Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal: Towards parallel Boolean functional synthesis (2017)
  3. Heule, Marijn J. H.; Seidl, Martina; Biere, Armin: Solution validation and extraction for QBF preprocessing (2017)
  4. Balabanov, Valeriy; Jiang, Jie-Hong Roland; Scholl, Christoph; Mishchenko, Alan; Brayton, Robert K.: 2QBF: challenges and solutions (2016)
  5. Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund: Solving QBF with counterexample guided refinement (2016)
  6. Rabe, Markus N.; Seshia, Sanjit A.: Incremental determinization (2016)
  7. Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.: Ranking function synthesis for bit-vector relations (2013)
  8. Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael: Logic-based ontology comparison and module extraction, with an application to DL-Lite (2010)
  9. Egly, Uwe; Seidl, Martina; Woltran, Stefan: A solver for QBFs in negation normal form (2009)
  10. Goultiaeva, Alexandra; Iverson, Vicki; Bacchus, Fahiem: Beyond CNF: a circuit-based QBF solver (2009)
  11. Lonsing, Florian; Biere, Armin: A compact representation for syntactic dependencies in QBFs (2009)
  12. Lonsing, Florian; Biere, Armin: Efficiently representing existential dependency sets for expansion-based QBF solvers (2009)
  13. Pulina, Luca; Tacchella, Armando: Learning to integrate deduction and search in reasoning about quantified Boolean formulas (2009)
  14. Pulina, Luca; Tacchella, Armando: A self-adaptive multi-engine solver for quantified Boolean formulas (2009)
  15. Stéphan, Igor; Da Mota, Benoit: A unified framework for certificate and compilation for QBF (2009)
  16. Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas: Solving quantified constraint satisfaction problems (2008)
  17. Staber, Stefan; Bloem, Roderick: Fault localization and correction with QBF (2007)
  18. Benedetti, Marco: sKizzo: A suite to evaluate and certify QBFs (2005)