1. Generating satisfiable problem instances;Achlioptas,2000
2. On the structure of industrial SAT instances;Ansótegui,2009
3. The community structure of SAT formulas;Ansótegui,2012
4. The fractal dimension of SAT formulas;Ansótegui,2014
5. Using community structure to detect relevant learnt clauses;Ansótegui,2015