U. Bubeck
AuthID: R-00F-T1E
1
TÃTULO: The seventh QBF solvers evaluation (QBFEVAL'10)
AUTORES: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef