Maxsat Resolution with the Dual Rail Encoding

AuthID
 P-00N-XPQ
5
Author(s)
Bonet, ML
·
Buss, S
·
2
Editor(es)
McIlraith,SA;Weinberger,KQ
Tipo de Documento
Proceedings Paper
Year published
2018
Publicado
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
Páginas: 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, Patrocinadores: AAAI
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/718551
Publication Identifiers
DBLP: conf/aaai/BonetBIMM18
SCOPUS: 2-s2.0-85051146978
Wos: WOS:000485488906080
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