|
|||||
|
|
On Limitations of Structured (Deterministic) DNNFs |
|
| Authors: | Bollig Beate Buttkus Matthias |
| Abstract: | Theory of Computing Systems - The study of representations for propositional theories has been a central subject in knowledge compilation. Many known representations of propositional knowledge... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |