 | 2012 |
|---|
| 6 |       | Paolo Marin,
Christian Miller,
Matthew D. T. Lewis,
Bernd Becker:
Verification of partial designs using incremental QBF solving.
DATE 2012: 623-628 |
| 2011 |
|---|
| 5 | | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker,
Paolo Marin,
Massimo Narizzano,
Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing.
Fundam. Inform. 107(2-3): 139-166 (2011) |
| 2010 |
|---|
| 4 | | Enrico Giunchiglia,
Paolo Marin,
Massimo Narizzano:
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.
SAT 2010: 85-98 |
| 3 | | Enrico Giunchiglia,
Paolo Marin,
Massimo Narizzano:
QuBE7.0.
JSAT 7(2-3): 83-88 (2010) |
| 2009 |
|---|
| 2 | | Matthew D. T. Lewis,
Paolo Marin,
Tobias Schubert,
Massimo Narizzano,
Bernd Becker,
Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
SAT 2009: 509-523 |
| 1 | | Enrico Giunchiglia,
Paolo Marin,
Massimo Narizzano:
Reasoning with Quantified Boolean Formulas.
Handbook of Satisfiability 2009: 761-780 |
Data released under the ODC-BY 1.0 license — See also our legal information page