Publications

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

AuthID
P-004-4XZ

Author(s)

Marques Silva, J

Manquinho, V

Editor(s)

Buning, HK; Zhao, XH

Document Type

Proceedings Paper

Year published

2008

Published

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

Volume: 4996, Pages: 225-230 (6)

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

Indexing