×

Found 5 Documents (Results 1–5)

Homogenization and the polynomial calculus. (English) Zbl 0973.03013

Montanari, Ugo (ed.) et al., Automata, languages and programming. 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1853, 926-937 (2000).
PDFBibTeX XMLCite

Using the Groebner basis algorithm to find proofs of unsatisfiability. (English) Zbl 0938.68825

Proceedings of the 28th annual ACM symposium on the theory of computing (STOC). Philadelphia, PA, USA, May 22-24, 1996. New York, NY: ACM, 174-183 (1996).
MSC:  68T15 13P10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software