Jónsson-style canonicity for ALBA-inequalities.

Alessandra Palmigiano Sumit Sourabh Zhiguang Zhao

Published in: J. Log. Comput. (2017)

Keyphrases

sufficient conditions
linear inequalities
special case
mixed integer
data sets
neural network
genetic algorithm
facet defining inequalities