%0 Conference Paper %1 conf/iclp/SusmanL16 %A Susman, Benjamin %A Lierler, Yuliya %B ICLP (Technical Communications) %D 2016 %E Carro, Manuel %E King, Andy %E Saeedloei, Neda %E Vos, Marina De %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:15 %T SMT-Based Constraint Answer Set Solver EZSMT (System Description). %U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#SusmanL16 %V 52 %@ 978-3-95977-007-1

@inproceedings{conf/iclp/SusmanL16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Susman, Benjamin and Lierler, Yuliya}, biburl = {https://www.bibsonomy.org/bibtex/238abb3059ba2a84fdf21f522e3652def/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2016}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.1}, interhash = {a12f43f577148a0f835ca6877a23914f}, intrahash = {38abb3059ba2a84fdf21f522e3652def}, isbn = {978-3-95977-007-1}, keywords = {dblp}, pages = {1:1-1:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-08-26T07:18:48.000+0200}, title = {SMT-Based Constraint Answer Set Solver EZSMT (System Description).}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#SusmanL16}, volume = 52, year = 2016 }