Publications

Maxsat Resolution with the Dual Rail Encoding

AuthID
P-00N-XPQ

Author(s)

Bonet, ML

Buss, S

Ignatiev, A

Marques Silva, J

Morgado, A

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