SolverBlox: algebraic modeling in datalog

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]

Authors

Conrado Borraz-Sánchez

This author has not been identified. Look up 'Conrado Borraz-Sánchez' in Google

Diego Klabjan

This author has not been identified. Look up 'Diego Klabjan' in Google

Emir Pasalic

This author has not been identified. Look up 'Emir Pasalic' in Google

Molham Aref

This author has not been identified. Look up 'Molham Aref' in Google