[IEEE 2012 IEEE Conference on Computational Complexity (CCC) - Porto, Portugal (2012.06.26-2012.06.29)] 2012 IEEE 27th Conference on Computational Complexity - A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis
Seto, Kazuhisa, Tamaki, SuguruYear:
2012
Language:
english
DOI:
10.1109/ccc.2012.29
File:
PDF, 277 KB
english, 2012