Kazuhisa Seto, Suguru Tamaki: A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis. CCC 2012: 107-116