Login / Signup
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
Constantinos Bartzis
Tevfik Bultan
Published in:
Int. J. Found. Comput. Sci. (2003)
Keyphrases
</>
symbolic representation
arithmetic constraints
machine learning
data sets