Publications

Local Search for Unsatisfiability

AuthID
P-004-QV6

Author(s)

Prestwich, S

Lynce, I

Editor(s)

Biere,A;Gomes,CP

Document Type

Article

Year published

2006

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4121, Pages: 283-296 (14)

Conference

9Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 12-15, 2006, Location: Seattle, WA, Sponsors: Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst, Cornell Univ, Intelligent Informat Syst Inst

Indexing