Preprocessing techniques for first-order clausification

Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012
Pages	44-51
Number of pages	8
Publication status	Published - 2012

Access to Document

@inproceedings{3d5cc9f8e25648539d8ef46815e0b81d,

title = "Preprocessing techniques for first-order clausification",

author = "Krystof Hoder and Zurab Khasidashvili and Konstantin Korovin and Andrei Voronkov",

year = "2012",

language = "English",

pages = "44--51",

booktitle = "Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012",

}