Iterative Sat Solving for Minimum Satisfiability

AuthID
 P-00F-XR7
4
Author(s)
Document Type
Proceedings Paper
Year published
2012
Published
in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1 in Proceedings-International Conference on Tools With Artificial Intelligence, ISSN: 1082-3409
Volume: 1, Pages: 922-927 (6)
Conference
Ieee 24Th International Conference on Tools with Artificial Intelligence (Ictai), Date: NOV 07-09, 2012, Location: Athens, GREECE, Sponsors: IEEE, IEEE Comp Soc, Biol & Artificial Intelligence Fdn (BAIF), Hellen Artificial Intelligence Soc (EETN), Univ Piraeus, Univ Piraeus Res Ctr
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/521991
Crossref®9
Unpaywall®
Google Scholar®
Publication Identifiers
Dblp: conf/ictai/HersMPM12
Scopus: 2-s2.0-84876835072
Unpaywall: 10.1109/ictai.2012.129
Wos: WOS:000320861900122
Source Identifiers
ISSN: 1082-3409
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service