Publicações

Prime Compilation of Non-Clausal Formulae

AuthID
P-00K-1D2

Author(s)

Previti, A

Ignatiev, A

Morgado, A

Silva, JM

Editor(es)

Qiang Yang 0001; Michael Wooldridge

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 in IJCAI, ISSN: 1045-0823

Volume: 2015-January, Páginas: 1980-1988

Conference

24Th International Joint Conference on Artificial Intelligence, Ijcai 2015, Date: 25 July 2015 through 31 July 2015, Patrocinadores: Alibaba.com;Department of Computer Science and Engineering at Universidad Nacional del Sur;Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University;et al.;International Joint Conferences on Artificial Intelligence (IJCAI);Ministry of Science, Technology and Productive Innovation

Indexing