Horn Maximum Satisfiability: Reductions, Algorithms and Applications

AuthID
 P-00M-WGQ
3
Author(s)
4
Editor(s)
Oliveira,E;Gama,J;Vale,Z;Cardoso,HL
Document Type
Proceedings Paper
Year published
2017
Published
in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017) in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 10423, Pages: 681-694 (14)
Conference
18Th Epia Conference on Artificial Intelligence (Epia), Date: SEP 05-08, 2017, Location: Univ Porto, Fac Engn, Porto, PORTUGAL, Sponsors: EPIA, Univ Porto, Artificial Intelligence & Comp Sci Lab, INESC TEC, Lab Artificial Intelligence & Decis Support, Inst Engn Polytechn Porto, Intelligent Engn & Comp Adv Innovat & Dev Res Grp, Host: Univ Porto, Fac Engn
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/684567
Crossref®3
Arxiv®
Unpaywall®
Google Scholar®
Publication Identifiers
Arxiv: 1705.05335
Dblp: journals/corr/Marques-SilvaIM17
Scopus: 2-s2.0-85029000186
Unpaywall: 10.1007/978-3-319-65340-2_56
Wos: WOS:000452455800056
Source Identifiers
ISSN: 0302-9743
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