Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. - Jesús A. De Loera; Jon Lee 001; Peter N. Malkin; Susan Margulies (ISSAC, 2008)

Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz. - Jesús A. De Loera; Jon Lee 001; Susan Margulies; Shmuel Onn (Comb. Probab. Comput., 2009)

Efficient high-precision matrix algebra on parallel architectures for nonlinear combinatorial optimization. - John A. Gunnels; Jon Lee 001; Susan Margulies (Math. Program. Comput., 2010)

A Note on Total and Paired Domination of Cartesian Product Graphs - K. Choudhary; Susan Margulies; Illya V. Hicks (CoRR, 2011)

Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz. - Jesús A. De Loera; Jon Lee 001; Peter N. Malkin; Susan Margulies (J. Symb. Comput., 2011)

An Algebraic Exploration of Dominating Sets and Vizing's Conjecture. - Susan Margulies; Illya V. Hicks (Electron. J. Comb., 2012)

A Note on Total and Paired Domination of Cartesian Product Graphs. - Keerti Choudhary; Susan Margulies; Illya V. Hicks (Electron. J. Comb., 2013)

Branch decomposition heuristics for linear matroids. - Jing Ma; Susan Margulies; Illya V. Hicks; Edray Goins (Discret. Optim., 2013)

Systems of Polynomials for Detecting Orientable Matroids. - Jesús A. De Loera; Jon Lee 001; Susan Margulies; Jacob Miller 002 (Electron. Notes Discret. Math., 2013)

The Cunningham-Geelen Method in Practice: Branch-Decompositions and Integer Programming. - Susan Margulies; Jing Ma; Illya V. Hicks (INFORMS J. Comput., 2013)

Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals. - Jesús A. De Loera; Susan Margulies; Michael Pernpeintner; Eric Riedl; David Rolnick; Gwen Spencer; Despina Stasi; Jon Swenson (CoRR, 2014)

Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases. - Jesús A. De Loera; Susan Margulies; Michael Pernpeintner; Eric Riedl; David Rolnick; Gwen Spencer; Despina Stasi; Jon Swenson (ISSAC, 2015)

Integer domination of Cartesian product graphs. - Keerti Choudhary; Susan Margulies; Illya V. Hicks (Discret. Math., 2015)

Weak orientability of matroids and polynomial equations. - Jesús A. De Loera; Jon Lee 001; Susan Margulies; Jacob Miller 002 (Eur. J. Comb., 2015)

On the complexity of Hilbert refutations for partition. - Susan Margulies; Shmuel Onn; Dmitrii V. Pasechnik (J. Symb. Comput., 2015)

Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits. - Susan Margulies; Jason Morton (J. Symb. Comput., 2016)

An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture. - Elisabeth Gaar; Angelika Wiegele; Daniel Krenn; Susan Margulies (ISSAC, 2019)

Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares. - Elisabeth Gaar; Daniel Krenn; Susan Margulies; Angelika Wiegele (J. Symb. Comput., 2021)