%0 Conference Paper %1 conf/ijcai/KolbTPR18 %A Kolb, Samuel %A Teso, Stefano %A Passerini, Andrea %A Raedt, Luc De %B IJCAI %D 2018 %E Lang, Jérôme %I ijcai.org %K %P 2333-2340 %T Learning SMT(LRA) Constraints using SMT Solvers. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#KolbTPR18 %@ 978-0-9992411-2-7

@inproceedings{conf/ijcai/KolbTPR18, added-at = {2023-12-13T03:17:07.000+0100}, author = {Kolb, Samuel and Teso, Stefano and Passerini, Andrea and Raedt, Luc De}, biburl = {https://www.bibsonomy.org/bibtex/220a065b2b692f1eb06ee0a47ee524b79/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2018}, editor = {Lang, Jérôme}, ee = {https://doi.org/10.24963/ijcai.2018/323}, interhash = {8996de87d4f1d8b4f464f0b9df4966be}, intrahash = {20a065b2b692f1eb06ee0a47ee524b79}, isbn = {978-0-9992411-2-7}, keywords = {}, pages = {2333-2340}, publisher = {ijcai.org}, timestamp = {2023-12-13T03:17:07.000+0100}, title = {Learning SMT(LRA) Constraints using SMT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#KolbTPR18}, year = 2018 }