
Exact Clustering via Integer Programming and Maximum Satisfiability
Author(s) -
Atsushi Miyauchi,
Tomohiro Sonobe,
Noriyoshi Sukegawa
Publication year - 2018
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v32i1.11519
Subject(s) - integer programming , cluster analysis , maximum satisfiability problem , satisfiability , linear programming , mathematics , maximum cut , partition (number theory) , computer science , mathematical optimization , algorithm , graph , theoretical computer science , discrete mathematics , combinatorics , boolean function , artificial intelligence