%0 Conference Paper %1 conf/socs/BalyoB15 %A Balyo, Tomás %A Barták, Roman %B SOCS %D 2015 %E Lelis, Levi %E Stern, Roni %I AAAI Press %K dblp %P 146-150 %T No One SATPlan Encoding To Rule Them All. %U http://dblp.uni-trier.de/db/conf/socs/socs2015.html#BalyoB15 %@ 978-1-57735-732-2

@inproceedings{conf/socs/BalyoB15, added-at = {2017-11-30T00:00:00.000+0100}, author = {Balyo, Tomás and Barták, Roman}, biburl = {https://www.bibsonomy.org/bibtex/2a360db5b8da53fb426e6b90f7b49f2b8/dblp}, booktitle = {SOCS}, crossref = {conf/socs/2015}, editor = {Lelis, Levi and Stern, Roni}, ee = {http://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/view/10823}, interhash = {c0f8d9621815fc5fbfef008b98cedf92}, intrahash = {a360db5b8da53fb426e6b90f7b49f2b8}, isbn = {978-1-57735-732-2}, keywords = {dblp}, pages = {146-150}, publisher = {AAAI Press}, timestamp = {2017-12-08T00:16:17.000+0100}, title = {No One SATPlan Encoding To Rule Them All.}, url = {http://dblp.uni-trier.de/db/conf/socs/socs2015.html#BalyoB15}, year = 2015 }