Publicações

Symmetry Breaking for Maximum Satisfiability

AuthID
P-007-P9V

Author(s)

Marques Silva, J

Lynce, I

Manquinho, V

Editor(es)

Cervesato,I;Veith,H;Voronkov,A

Tipo de Documento

Proceedings Paper

Year published

2008

Publicado

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

Volume: 5330, Páginas: 1-15 (15)

Conference

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

Indexing