Hans Kleine B?Ning
AuthID: R-00H-A51
1
TÃTULO: Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
AUTORES: Hans Kleine Büning; Xishun Zhao;
PUBLICAÇÃO: 2008, FONTE: SAT, VOLUME: 4996
AUTORES: Hans Kleine Büning; Xishun Zhao;
PUBLICAÇÃO: 2008, FONTE: SAT, VOLUME: 4996
INDEXADO EM: 
DBLP
DBLP