Sign in
An automated approach to generating efficient constraint solvers.
Dharini Balasubramaniam
Christopher Jefferson
Lars Kotthoff
Ian Miguel
Peter Nightingale
Published in:
ICSE (2012)
Keyphrases
</>
dynamic programming
test cases