Splitting on Demand in SAT Modulo Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli. Splitting on Demand in SAT Modulo Theories. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 512-526, Springer, 2006. [doi]

This author has not been identified. Look up 'Clark Barrett' in GoogleThis author has not been identified. Look up 'Robert Nieuwenhuis' in GoogleThis author has not been identified. Look up 'Albert Oliveras' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in Google

runs on WebDSL