U. Bubeck
AuthID: R-00F-T1E
1
TITLE: The seventh QBF solvers evaluation (QBFEVAL'10)
AUTHORS: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6175 LNCS
AUTHORS: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6175 LNCS
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef