Publications

Symmetry Breaking for Maximum Satisfiability

AuthID
P-007-P9V

Author(s)

Marques Silva, J

Lynce, I

Manquinho, V

Editor(s)

Cervesato,I;Veith,H;Voronkov,A

Document Type

Proceedings Paper

Year published

2008

Published

in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 5330, Pages: 1-15 (15)

Conference

15Th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Date: NOV 22-27, 2008, Location: Doha, QATAR, Sponsors: Qatar Natl Res Fund, Qatar Sci & Technol Pk, iHorizons, Microsoft Res, Kurt Godel Soc, Host: Carnegie Mellon Univ

Indexing