Maxsat Resolution with the Dual Rail Encoding

AuthID
P-00N-XPQ
5
Author(s)
Bonet, ML
·
Buss, S
·
2
Editor(s)
McIlraith,SA;Weinberger,KQ
Document Type
Proceedings Paper
Year published
2018
Published
in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE in AAAI
Pages: 6565-6572 (8)
Conference
32Nd Aaai Conference on Artificial Intelligence / 30Th Innovative Applications of Artificial Intelligence Conference / 8Th Aaai Symposium on Educational Advances in Artificial Intelligence, Date: FEB 02-07, 2018, Location: New Orleans, LA, Sponsors: AAAI
Indexing
Publication Identifiers
DBLP: conf/aaai/BonetBIMM18
SCOPUS: 2-s2.0-85051146978
Wos: WOS:000485488906080
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.