A New Exact Bit-Parallel Algorithm for SAT. - Pablo San Segundo; Cristóbal Tapia; Julio Puente; Diego Rodríguez-Losada (ICTAI (2), 2008)

A New Implicit Branching Strategy for Exact Maximum Clique. - Pablo San Segundo; Cristóbal Tapia (ICTAI (1), 2010)

Relaxed approximate coloring in exact maximum clique search. - Pablo San Segundo; Cristóbal Tapia (Comput. Oper. Res., 2014)

An Enhanced Infra-Chromatic Bound for the Maximum Clique Problem. - Pablo San Segundo; Jorge Artieda; Rafael León; Cristóbal Tapia (MOD, 2016)