Prime Compilation of Non-Clausal Formulae.

Alessandro Previti, Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva

Browse the full IJCAI paper archive.