Automatic Combinability of Rewriting-Based Satisfiability Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Automatic Combinability of Rewriting-Based Satisfiability Procedures. 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 542-556, Springer, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Hélène Kirchner

Look up 'Hélène Kirchner' in GoogleThis author has not been identified. Look up 'Silvio Ranise' in GoogleIdentified as Christophe Ringeissen This author has not been identified. Look up 'Duc-Khanh Tran' in Google

runs on WebDSL