SolverBlox: Algebraic Modeling in Datalog

Conrado Borraz-Sánchez, Diego Klabjan, Molham Aref

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish (US)
Title of host publicationDeclarative Logic Programming
Subtitle of host publicationTheory, Systems, and Applications
EditorsMichael Kifer, Yanhong A Liu
PublisherMorgan & Claypool
Pages331-356
Number of pages6
ISBN (Print)978-1970001969
StatePublished - 2017

Cite this

Borraz-Sánchez, C., Klabjan, D., & Aref , M. (2017). SolverBlox: Algebraic Modeling in Datalog. In M. Kifer, & Y. A. Liu (Eds.), Declarative Logic Programming: Theory, Systems, and Applications (pp. 331-356). Morgan & Claypool.