Exact Clustering via Integer Programming and Maximum Satisfiability.

Atsushi Miyauchi Tomohiro Sonobe Noriyoshi Sukegawa

Published in: AAAI (2018)

Keyphrases

integer programming
np hard
linear programming
ai planning
maximum satisfiability
max sat
column generation
network flow
constraint programming
integer program
cutting plane
exact methods
boolean satisfiability
cutting plane algorithm
convex hull
valid inequalities
search space