%0 Book Section %1 books/mc/18/Borraz-SanchezKPA18 %A Borraz-Sánchez, Conrado %A Klabjan, Diego %A Pasalic, Emir %A Aref, Molham %B Declarative Logic Programming %D 2018 %E Kifer, Michael %E Liu, Yanhong Annie %I ACM / Morgan & Claypool %K dblp %P 331-354 %T SolverBlox: algebraic modeling in datalog. %U http://dblp.uni-trier.de/db/books/collections/KL2018.html#Borraz-SanchezKPA18 %@ 978-1-97000-199-0

@incollection{books/mc/18/Borraz-SanchezKPA18, added-at = {2019-06-27T00:00:00.000+0200}, author = {Borraz-Sánchez, Conrado and Klabjan, Diego and Pasalic, Emir and Aref, Molham}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/274380fdf1958df8543ea3ef9bf85cc5c/dblp}, booktitle = {Declarative Logic Programming}, crossref = {books/mc/18/KL2018}, editor = {Kifer, Michael and Liu, Yanhong Annie}, ee = {https://doi.org/10.1145/3191315.3191322}, interhash = {f455455d24d1c19ae0fa34decfd07b19}, intrahash = {74380fdf1958df8543ea3ef9bf85cc5c}, isbn = {978-1-97000-199-0}, keywords = {dblp}, pages = {331-354}, publisher = {ACM / Morgan & Claypool}, timestamp = {2019-09-27T12:21:53.000+0200}, title = {SolverBlox: algebraic modeling in datalog.}, url = {http://dblp.uni-trier.de/db/books/collections/KL2018.html#Borraz-SanchezKPA18}, year = 2018 }