Jingchao Chen. A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers. In T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper, editors, Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings. Volume 8402 of Lecture Notes in Computer Science, pages 158-167, Springer, 2014. [doi]
Abstract is missing.