in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4121, Páginas: 283-296 (14)
Conference
9Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 12-15, 2006, Location: Seattle, WA, Patrocinadores: Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst, Cornell Univ, Intelligent Informat Syst Inst
