Sign in
Constraint solving for finite model finding in SMT solvers.
Andrew Reynolds
Cesare Tinelli
Clark W. Barrett
Published in:
Theory Pract. Log. Program. (2017)
Keyphrases
</>
probabilistic model
computational model
high level
image sequences
statistical model
constraint solving
mathematical model
constraint satisfaction