- Publicações
- Pesquisar
- Estatísticas
Solving Qbf by Clause Selection
AuthID
P-00K-1B6
P-00K-1B6
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: 325-331
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
Publication Identifiers
DBLP: conf/ijcai/JanotaM15
SCOPUS: 2-s2.0-84949800705
Source Identifiers
ISSN: 1045-0823
Export Publication Metadata
Publication Export Settings
Lista Marked
Info
At this moment we don't have any links to full text documens.