%0 Conference Paper %1 conf/iclp/ShenL18 %A Shen, Da %A Lierler, Yuliya %B ICLP (Technical Communications) %D 2018 %E Palù, Alessandro Dal %E Tarau, Paul %E Saeedloei, Neda %E Fodor, Paul %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 11:1-11:15 %T SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). %U http://dblp.uni-trier.de/db/conf/iclp/iclp2018.html#ShenL18 %V 64 %@ 978-3-95977-090-3

@inproceedings{conf/iclp/ShenL18, added-at = {2019-05-16T00:00:00.000+0200}, author = {Shen, Da and Lierler, Yuliya}, biburl = {https://www.bibsonomy.org/bibtex/2a92f9016f805f0d4864e75e1a09f78a5/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2018}, editor = {Palù, Alessandro Dal and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2018.11}, interhash = {acb50577a5162ce78a82a410e34e426a}, intrahash = {a92f9016f805f0d4864e75e1a09f78a5}, isbn = {978-3-95977-090-3}, keywords = {dblp}, pages = {11:1-11:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T16:09:44.000+0200}, title = {SMT-Based Answer Set Solver CMODELS(DIFF) (System Description).}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2018.html#ShenL18}, volume = 64, year = 2018 }