@misc {IOPORT.70942548,
    author       = {Casta\~no, Jos\'e M. and Casta\~no, Rodrigo},
    title        = {Variable and clause ordering in an FSA approach to propositional satisfiability},
    howpublished = {CIAA, 76-87 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22256-6_8},
    identifier   = {70942548},
}