Model-Guided Approaches for Maxsat Solving

AuthID
P-009-8BB
3
Author(s)
Heras, F
·
Document Type
Proceedings Paper
Year published
2013
Published
in 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), ISSN: 1082-3409
Pages: 931-938 (8)
Indexing
Publication Identifiers
Dblp: conf/ictai/MorgadoHM13
Scopus: 2-s2.0-84897713740
Unpaywall: 10.1109/ictai.2013.142
Wos: WOS:000482633400116
Source Identifiers
ISSN: 1082-3409
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.