SMT-Solving Induction Proofs of Inequalities.

Ali Kemal Uncu James H. Davenport Matthew England

Published in: SC-Square@FLoC (2022)

Keyphrases

sufficient conditions
machine learning
inductive learning
learning algorithm
constraint satisfaction problems
constraint programming
inductive logic programming
theorem proving
linear complementarity problem