Publications

On Partitioning for Maximum Satisfiability

AuthID
P-008-BBH

Author(s)

Martins, R

Manquinho, V

Lynce, I

Editor(s)

Raedt,LD;Bessière,C;Dubois,D;Doherty,P;Frasconi,P;Heintz,F;Lucas,PJF

Document Type

Proceedings Paper

Year published

2012

Published

in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012) in Frontiers in Artificial Intelligence and Applications, ISSN: 0922-6389

Volume: 242, Pages: 913-914 (2)

Conference

20Th European Conference on Artificial Intelligence (Ecai), Date: AUG 27-31, 2012, Location: CNRS, Montpellier, FRANCE, Sponsors: European Coordinating Comm Artificial Intelligence, Assoc Francaise Intelligence Artificielle, US AF Res Lab, AF Off Sci Res, European Off Aerosp Res & Dev, Artificial Intelligence, IBM Res, IOS Press, Mines Telecom, Montpellier Agglomerat, Reg Languedoc Roussillon, Univ Montpellier 2, Lab Informatique Robotique Microelectronique Montpellier, Host: CNRS

Indexing