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]
@inproceedings{CastanoC11, title = {Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability}, author = {José M. Castaño and Rodrigo Castaño}, year = {2011}, doi = {10.1007/978-3-642-22256-6_8}, url = {http://dx.doi.org/10.1007/978-3-642-22256-6_8}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/CastanoC11}, cites = {0}, citedby = {0}, pages = {76-87}, booktitle = {Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings}, editor = {Béatrice Bouchou-Markhoff and Pascal Caron and Jean-Marc Champarnaud and Denis Maurel}, volume = {6807}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-22255-9}, }