Elbassioni, Khaled Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Khachiyan, L., Boros, E., Elbassioni, K., & Gurvich, V. (2008). Generating all Minimal Integral Solutions to AND-OR systems of Monotone Inequalities: Conjunctions are Simpler than Disjunctions. Discrete Applied Mathematics, 156(11), 2020-2034. doi:10.1016/j.dam.2007.04.018.