Functional SMT solving with Z3 and racket.

Siddharth Agarwal Amey Karkare

Published in: FormaliSE@ICSE (2013)

Keyphrases

scheduling problem
combinatorial optimization
real time
data sets
neural network
artificial intelligence
decision making
case study
search algorithm
artificial neural networks
functional analysis