in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4996, Pages: 1-+ (3)
Conference
11Th International Conference on Theory and Applications of Satisfiability Testing, Date: MAY 12-15, 2008, Location: Guangzhou, PEOPLES R CHINA, Sponsors: Natl Nat Sci Fdn China, Sun Yat Sen Univ, Guangzhou, Sun Yat Sen Univ, Inst Log & Cognit, Univ Paderborn, Dept Comp Sci, Hexin Technol, Intel Design Technologies & Solut, KC Wong Educ Fdn, Light Engn, Microsoft Res, NEC Labs Amer, Potevio