%0 Conference Paper %1 conf/kr/ShenL18 %A Shen, Da %A Lierler, Yuliya %B KR %D 2018 %E Thielscher, Michael %E Toni, Francesca %E Wolter, Frank %I AAAI Press %K dblp %P 67-71 %T SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. %U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#ShenL18 %@ 978-1-57735-803-9

@inproceedings{conf/kr/ShenL18, added-at = {2021-02-09T00:00:00.000+0100}, author = {Shen, Da and Lierler, Yuliya}, biburl = {https://www.bibsonomy.org/bibtex/2870c1f391fe3b8f2187b78f80d9bed62/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/18049}, interhash = {14c24ecb6a8c9154a49b6884d75b0293}, intrahash = {870c1f391fe3b8f2187b78f80d9bed62}, isbn = {978-1-57735-803-9}, keywords = {dblp}, pages = {67-71}, publisher = {AAAI Press}, timestamp = {2024-04-09T23:54:05.000+0200}, title = {SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#ShenL18}, year = 2018 }