Login / Signup
SpaceSearch: a library for building and verifying solver-aided tools.
Konstantin Weitz
Steven Lyubomirsky
Stefan Heule
Emina Torlak
Michael D. Ernst
Zachary Tatlock
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
data sets
user friendly
visualization tools
learning systems
constraint solving
databases
neural network
machine learning
decision making
data analysis
end users
collaborative learning
model checking
software tools