On Partitioning for Maximum Satisfiability

AuthID
P-008-BBH
3
Author(s)
7
Editor(s)
DeRaedt, L; Bessiere, C; Dubois, D; Doherty, P; Frasconi, P; Heintz, F; Lucas, P
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
Publication Identifiers
Scopus: 2-s2.0-84878776606
Wos: WOS:000349006300162
Source Identifiers
ISSN: 0922-6389
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.