Finding Unsatisfiable Cores of a Set of Polynomials Using the Grbner Basis Algorithm.

Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu

Browse the full CP paper archive.