Skip to main content
Top

Journal of Automated Reasoning

Issue 1/2012

Content (3 Articles)

Hybrid

Amy Felty, Alberto Momigliano

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Premium Partner