Functional synthesis for linear arithmetic and sets.

Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

data sets
closed form
program synthesis
functional analysis
real world
machine learning
information retrieval
least squares
convex sets
set theoretic