Preprocessing techniques for first-order clausification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov. Preprocessing techniques for first-order clausification. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 44-51, IEEE, 2012. [doi]

This author has not been identified. Look up 'Krystof Hoder' in GoogleThis author has not been identified. Look up 'Zurab Khasidashvili' in GoogleThis author has not been identified. Look up 'Konstantin Korovin' in GoogleThis author has not been identified. It may be one of the following persons:

Andrei Voronkov

Look up 'Andrei Voronkov' in Google

runs on WebDSL