Constraint Solving for Finite Model Finding in SMT Solvers.

Andrew Reynolds Cesare Tinelli Clark W. Barrett

Published in: CoRR (2017)

Keyphrases

computational model
probabilistic model
constraint solving
high level
statistical model
neural network
probability distribution
programming language
linear programming
eye movements
constraint satisfaction