×

Found 4 Documents (Results 1–4)

Exact knowledge compilation in predicate calculus: the partial achievement case. (English) Zbl 1430.68421

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 161-175 (1997).
PDFBibTeX XMLCite
Full Text: DOI

A new method for knowledge compilation: the achievement by cycle search. (English) Zbl 1412.68256

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 493-507 (1996).
MSC:  68T15 68T27 68T35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field