https://scholars.lib.ntu.edu.tw/handle/123456789/497796
Title: | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. | Authors: | Scholl, Christoph Jiang, Jie-Hong Roland Wimmer, Ralf Ge-Ernst, Aile JIE-HONG JIANG |
Issue Date: | 2019 | Start page/Pages: | 1584-1591 | Source: | The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497796 | DOI: | 10.1609/aaai.v33i01.33011584 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.