%0 Conference Paper %1 conf/ijcai/PrevitiIMM15 %A Previti, Alessandro %A Ignatiev, Alexey %A Morgado, António %A Marques-Silva, João %B IJCAI %D 2015 %E Yang, Qiang %E Wooldridge, Michael J. %I AAAI Press %K dblp %P 1980-1988 %T Prime Compilation of Non-Clausal Formulae. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#PrevitiIMM15 %@ 978-1-57735-738-4

@inproceedings{conf/ijcai/PrevitiIMM15, added-at = {2023-02-08T00:00:00.000+0100}, author = {Previti, Alessandro and Ignatiev, Alexey and Morgado, António and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/2179117465cc51049bda0ae32f4a0cf6d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2015}, editor = {Yang, Qiang and Wooldridge, Michael J.}, ee = {http://ijcai.org/Abstract/15/281}, interhash = {09c9494f59d59b1f1f0845f32f84d28a}, intrahash = {179117465cc51049bda0ae32f4a0cf6d}, isbn = {978-1-57735-738-4}, keywords = {dblp}, pages = {1980-1988}, publisher = {AAAI Press}, timestamp = {2024-04-10T11:30:29.000+0200}, title = {Prime Compilation of Non-Clausal Formulae.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#PrevitiIMM15}, year = 2015 }