- Publications
- Search
- Statistics
Solving Qbf by Clause Selection
AuthID
P-00K-1B6
P-00K-1B6
Document Type
Proceedings Paper
Year published
2015
Published
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, Pages: 325-331
Conference
24Th International Joint Conference on Artificial Intelligence, Ijcai 2015, Date: 25 July 2015 through 31 July 2015, Sponsors: 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
Marked List
Info
At this moment we don't have any links to full text documens.