New developments in the theory of Gröbner bases and applications to formal verification

Commutative Algebra Vol I.

Donald A. Norton, Oscar Zariski · American Mathematical Monthly · 1959 · 877 citations

Natural Sciences, Mathematics, Algebra +2

The Standard Template Library

Alexander A. Stepanov, Meng Lee · 1998 · 409 citations

Computing, Computer Science, Algorithms +14

SATLIB: An Online Resource for Research on SAT

Holger H. Hoos, Thomas Stützle, Ian P. Gent et al. · 2000 · 312 citations

Computing, Computer Science, Algorithms +10

Symbolic Model Checking

J. Barry Cooke · Microprocessors and Microsystems · 1994 · 215 citations

PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials

Michael Brickenstein, Alexander Dreyer · Journal of Symbolic Computation · 2009 · 147 citations

Computing, Computer Science, Mathematics +8