id: 70942548
dt: a
an: 70942548
au: Castaño, José M.; Castaño, Rodrigo
ti: Variable and clause ordering in an FSA approach to propositional
    satisfiability
so: CIAA, 76-87 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-22256-6_8