https://scholars.lib.ntu.edu.tw/handle/123456789/497796
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | Scholl, Christoph | en_US |
dc.contributor.author | Jiang, Jie-Hong Roland | en_US |
dc.contributor.author | Wimmer, Ralf | en_US |
dc.contributor.author | Ge-Ernst, Aile | en_US |
dc.contributor.author | JIE-HONG JIANG | zz |
dc.creator | Scholl, Christoph;Jiang, Jie-Hong Roland;Wimmer, Ralf;Ge-Ernst, Aile | - |
dc.date.accessioned | 2020-06-11T06:11:17Z | - |
dc.date.available | 2020-06-11T06:11:17Z | - |
dc.date.issued | 2019 | - |
dc.identifier.uri | https://scholars.lib.ntu.edu.tw/handle/123456789/497796 | - |
dc.relation.ispartof | 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. | - |
dc.title | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. | en_US |
dc.type | conference paper | en |
dc.identifier.doi | 10.1609/aaai.v33i01.33011584 | - |
dc.identifier.url | https://doi.org/10.1609/aaai.v33i01.33011584 | - |
dc.relation.pages | 1584-1591 | - |
item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
item.openairetype | conference paper | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | no fulltext | - |
crisitem.author.dept | Electronics Engineering | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.orcid | 0000-0002-2279-4732 | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。