Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref. SolverBlox: algebraic modeling in datalog. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 331-354, ACM / Morgan & Claypool, 2018. [doi]
@incollection{Borraz-SanchezKPA18,
title = {SolverBlox: algebraic modeling in datalog},
author = {Conrado Borraz-Sánchez and Diego Klabjan and Emir Pasalic and Molham Aref},
year = {2018},
doi = {10.1145/3191315.3191322},
url = {https://doi.org/10.1145/3191315.3191322},
researchr = {https://researchr.org/publication/Borraz-SanchezKPA18},
cites = {0},
citedby = {0},
pages = {331-354},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
editor = {Michael Kifer and Yanhong Annie Liu},
publisher = {ACM / Morgan & Claypool},
isbn = {978-1-97000-199-0},
}