TitlePrime Compilation of Non-Clausal Formulae
Publication TypeConference Paper
Year of Publication2015
AuthorsPreviti A., Ignatiev A., Morgado A., Marques-Silva J
Conference NameIJCAI 2015IJCAI 2015
Date Published2015
Conference LocationArgentina
URLhttp://ijcai.org/papers15/contents.php