Daniel Lopez-Escogido Jose Torres-Jimenez Eduardo Rodriguez-Tello Nelson Rangel-Valdez Strength Two Covering Arrays Construction Using a SAT Representation. 44-53 2008 MICAI http://dx.doi.org/10.1007/978-3-540-88636-5_4 conf/micai/2008 db/conf/micai/micai2008.html#Lopez-EscogidoTRR08