Projects per year
Original language | English |
---|---|
Title of host publication | Thirty-Second AAAI Conference on Artificial Intelligence |
Number of pages | 8 |
Place of Publication | Palo Alto, CA |
Publisher | AAAI Press |
Publication date | 2018 |
Pages | 6633-6640 |
ISBN (Print) | 978-1-57735-800-8 |
Publication status | Published - 2018 |
MoE publication type | A4 Article in conference proceedings |
Event | 32nd AAAI Conference on Artificial Intelligence - New Orleans, United States Duration: 2 Feb 2018 → 7 Feb 2018 http://www.aaai.org/Conferences/AAAI/aaai18.php |
Publication series
Name | Proceedings of the AAAI Conference on Artificial Intelligence |
---|---|
Publisher | Association for the Advancement of Artificial Intelligence |
ISSN (Print) | 2159-5399 |
ISSN (Electronic) | 2374-3468 |
Fields of Science
- 113 Computer and information sciences
Projects
- 1 Finished
-
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
01/09/2014 → 31/08/2019
Project: Research project