Horn Maximum Satisfiability: Reductions, Algorithms and Applications

AuthID
 P-00M-YMD
3
Author(s)
4
Editor(s)
Eugénio Oliveira; João Gama; Zita A. Vale; Henrique Lopes Cardoso
Document Type
Proceedings Paper
Year published
2017
Published
in Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings in Lecture Notes in Computer Science
Volume: 10423, Pages: 681-694
Indexing
Dblp®/en/publications/view/686733
Publication Identifiers
Dblp: conf/epia/Marques-SilvaIM17
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