On the Complexity of Clause Condensing
Georg Gottlob
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