author = {W. Windsteiger},
title = {{Introduction to the Groebner Bases Method}},
language = {english},
year = {2006},
month = {April 28},
note = {Talk given in the frame of the seminar "Fast SAT Solvers and Practical Decision Procedures". Invited colloquium talk at Carnegie Mellon University, Computer Science Deptartment},
institution = {Carnegie Mellon University, Computer Science Deptartment}