Kazuhisa Seto, Suguru Tamaki. A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis. In Proceedings of the 27th Conference on Computational Complexity, CCC 2012, Porto, Portugal, June 26-29, 2012. pages 107-116, IEEE, 2012. [doi]
Abstract is missing.