Rewriting induction for constrained inequalities.

Takahiro Nagao Naoki Nishida

Published in: Sci. Comput. Program. (2018)

Keyphrases

linear inequalities
inductive learning
machine learning
sufficient conditions
inductive inference
rewriting rules
database
explanation based learning
query rewriting
rewrite rules
data sets
databases
lower bound
concept formation
constrained problems
facet defining inequalities