Modelling Max-Csp as Partial Max-Sat

AuthID
P-00P-3YG
4
Author(s)
Cabiscol, A
·
Manya, F
2
Editor(es)
Buning, HK; Zhao, XH
Tipo de Documento
Proceedings Paper
Year published
2008
Publicado
in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4996, Páginas: 1-+ (3)
Conference
11Th International Conference on Theory and Applications of Satisfiability Testing, Date: MAY 12-15, 2008, Location: Guangzhou, PEOPLES R CHINA, Patrocinadores: 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
Publication Identifiers
Wos: WOS:000255924800001
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.