On the Complexity of Clause Condensing
Georg Gottlob
Details
| Book Title |
Proc. 7th Austrian Conference on Artificial Intelligence‚ ÖGAI−91‚ Wien‚ 24.−27. September 1991 |
| Editor |
Hermann Kaindl |
| Pages |
16−29 |
| Publisher |
Springer |
| Series |
Informatik−Fachberichte |
| Volume |
287 |
| Year |
1991 |
Links
Related pages
|
People |