The following pages link to Paolo Marin (Q4589095):
Displayed 4 items.
- Verification of partial designs using incremental QBF (Q4589096) (← links)
- Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows (Q4589245) (← links)
- ALLQBF Solving by Computational Learning (Q4649309) (← links)
- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (Q4930581) (← links)