%0 Conference Paper %1 conf/kr/AmendolaRT18 %A Amendola, Giovanni %A Ricca, Francesco %A Truszczynski, Mirek %B KR %D 2018 %E Thielscher, Michael %E Toni, Francesca %E Wolter, Frank %I AAAI Press %K dblp %P 52-56 %T A Generator of Hard 2QBF Formulas and ASP Programs. %U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#AmendolaRT18 %@ 978-1-57735-803-9

@inproceedings{conf/kr/AmendolaRT18, added-at = {2021-02-09T00:00:00.000+0100}, author = {Amendola, Giovanni and Ricca, Francesco and Truszczynski, Mirek}, biburl = {https://www.bibsonomy.org/bibtex/2b520b358e6d05dcb9fd2ea5b07d41e86/dblp}, booktitle = {KR}, crossref = {conf/kr/2018}, editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank}, ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18002}, interhash = {89b6a128dddbf189db200f0094bd1256}, intrahash = {b520b358e6d05dcb9fd2ea5b07d41e86}, isbn = {978-1-57735-803-9}, keywords = {dblp}, pages = {52-56}, publisher = {AAAI Press}, timestamp = {2024-04-09T23:54:05.000+0200}, title = {A Generator of Hard 2QBF Formulas and ASP Programs.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#AmendolaRT18}, year = 2018 }