Model-Guided Approaches for Maxsat Solving

AuthID
P-009-8BB
Document Type
Proceedings Paper
Year published
2013
Published
in 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI) in 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.