Extending the TOY System with the ECLiPSe Solver over Sets of Integers.

Sonia Estévez Martín Jesús Correas Fernández Fernando Sáenz-Pérez

Published in: FLOPS (2012)

Keyphrases

open source
real numbers
similarity measure
source code
databases
machine learning
website
database systems
convex sets
integer arithmetic