1. F.A. Aloul, K.A. Sakallah, I.L. Markov, Efficient symmetry breaking for Boolean satisfiability, in: Proceedings of International Joint Conference on Artificial Intelligence, IJCAI, 2003.
2. Computing convex hulls and counting integer points with polymake;Assarf;Math. Program. Comput.,2017
3. Disjunctive programming: Properties of the convex hull of feasible points;Balas;Discrete Appl. Math.,1998
4. Canonical cuts on the unit hypercube;Balas;SIAM J. Appl. Math.,1972
5. COLOR02 – computational symposium: Graph coloring and its generalizations,2002