◀ Click to filter
Claudia PeschieraINESC-ID | 
Total displayed: 1
Order by:
- The Seventh QBF Solvers Evaluation (QBFEVAL10)
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
13th International Conference on Theory and Applications of Satisfiability Testing (SAT10), LNCS 6175, Springer, Springer,
2010