Counterexample-Guided Partial Bounding for Recursive Function Synthesis.

Azadeh Farzan Victor Nicolet

Published in: CAV (1) (2021)

Keyphrases

recursive functions
upper bound
piecewise linear
multiresolution
dynamic programming
state space
logic programs
multi valued