MathSAT: Tight Integration of SAT and Mathematical Decision Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. Journal of Automated Reasoning, 35(1-3):265-293, 2005. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Roberto Bruttomesso' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Tommi A. Junttila' in GoogleThis author has not been identified. Look up 'Peter van Rossum' in GoogleThis author has not been identified. Look up 'Stephan Schulz' in GoogleThis author has not been identified. Look up 'Roberto Sebastiani' in Google

runs on WebDSL