José M. Castaño, Rodrigo Castaño. Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability. In Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel, editors, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Volume 6807 of Lecture Notes in Computer Science, pages 76-87, Springer, 2011. [doi]
Abstract is missing.