SolverBlox: Algebraic Modeling in Datalog

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English (US)
Title of host publication	Declarative Logic Programming
Subtitle of host publication	Theory, Systems, and Applications
Editors	Michael Kifer, Yanhong A Liu
Publisher	Morgan & Claypool
Pages	331-356
Number of pages	6
ISBN (Print)	978-1970001969
State	Published - 2017

Cite this

@inbook{5b610462f8264ff8a7d5acee65478319,

title = "SolverBlox: Algebraic Modeling in Datalog",

author = "Conrado Borraz-S{\'a}nchez and Diego Klabjan and Molham Aref",

year = "2017",

language = "English (US)",

isbn = "978-1970001969",

pages = "331--356",

editor = "Michael Kifer and Liu, {Yanhong A}",

booktitle = "Declarative Logic Programming",

publisher = "Morgan & Claypool",

}