Iterative and Core-Guided Maxsat Solving: A Survey and Assessment

AuthID
P-006-75B
Document Type
Article
Year published
2013
Published
in CONSTRAINTS, ISSN: 1383-7133
Volume: 18, Issue: 4, Pages: 478-534 (57)
Indexing
Publication Identifiers
DBLP: journals/constraints/MorgadoHLPM13
SCOPUS: 2-s2.0-84882242017
Unpaywall: 10.1007/s10601-013-9146-2
Wos: WOS:000323323200002
Source Identifiers
ISSN: 1383-7133
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.