Evaluation of Equational Constraints for CAD in SMT Solving.

Rebecca Haehn Gereon Kremer Erika Ábrahám

Published in: SC-Square@FLOC (2018)

Keyphrases

linear programming problems
constrained problems
computer aided
theorem proving
constraint programming
evaluation method
evaluation model
finite domain
reducing the search space
neural network
object oriented
constraint satisfaction
combinatorial optimization
linear constraints
mixed integer program