Randomized Algorithms for Lexicographic Inference. - Rajeev Kohli; Khaled Boughanmi; Vikram Kohli (Oper. Res., 2019)