Travelled to:
1 × United Kingdom
Collaborated with:
L.Pulina A.Tacchella U.Bubeck O.Kullmann I.Lynce
Talks about:
seventh (1) qbfeval (1) solver (1) evalu (1) qbf (1)
Person: Claudia Peschiera
DBLP: Peschiera:Claudia
Contributed to:
Wrote 1 papers:
- SAT-2010-PeschieraPTBKL #evaluation
- The Seventh QBF Solvers Evaluation (QBFEVAL’10) (CP, LP, AT, UB, OK, IL), pp. 237–250.