New Techniques in Clausal Form Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giles Reger, Martin Suda 0001, Andrei Voronkov. New Techniques in Clausal Form Generation. In Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. Volume 41 of EPiC Series in Computing, pages 11-23, EasyChair, 2016. [doi]

This author has not been identified. Look up 'Giles Reger' in GoogleThis author has not been identified. Look up 'Martin Suda 0001' 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