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