A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
Journal
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.
Pages
1584-1591
Date Issued
2019
Author(s)
Type
conference paper