Iterative Sat Solving for Minimum Satisfiability

AuthID
 P-00F-XR7
4
Author(s)
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
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, Páginas: 922-927 (6)
Conference
Ieee 24Th International Conference on Tools with Artificial Intelligence (Ictai), Date: NOV 07-09, 2012, Location: Athens, GREECE, Patrocinadores: IEEE, IEEE Comp Soc, Biol & Artificial Intelligence Fdn (BAIF), Hellen Artificial Intelligence Soc (EETN), Univ Piraeus, Univ Piraeus Res Ctr
Indexing
Wos®
Scopus®
Dblp®/pt/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
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service