selected publications conference paper Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. . 437-444. 2018