On Incremental Core-Guided Maxsat Solving

AuthID
P-00K-VKE
6
Author(s)
Si, XJ
·
Zhang, X
·
Naik, M
1
Editor(s)
Rueher, M
Document Type
Proceedings Paper
Year published
2016
Published
in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9892, Pages: 473-482 (10)
Conference
22Nd International Conference on the Principles and Practice of Constraint Programming (Cp), Date: SEP 05-09, 2016, Location: Toulouse Business Sch, Toulouse, FRANCE, Sponsors: IJCAI, Artificial Intelligence Journal Div, French Natl Inst Agronom Res, Microsoft Res, French Natl Ctr Sci Res, IBM, Cadence, Siemens, CSIRO, Data 61, Toulouse Univ, Springer, Mol Bioinformat GdR, Toulouse Comp Sci Inst, French Natl Off Aeros Res & Studies, Inst Computat Sustainabil, European Assoc Artificial Intelligence, Swedish Inst Comp Sci, French Soc Operat Res & Assisted Decis Making, N Side, Cosling, Cosytec & LocalSolver, Host: Toulouse Business Sch
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84986213310
Wos: WOS:000389019700031
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.