Login / Signup
Selective path-sensitive interval analysis (WIP paper).
Bharti Chimdyalwar
Shrawan Kumar
Published in:
LCTES (2021)
Keyphrases
</>
interval analysis
autocalibration
constrained optimization
constraint propagation
fuzzy set theory
constraint sets
constraint programming