Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions.

Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full SAT paper archive.