A satisfiability algorithm and average-case hardness for formulas over the full binary basis
Seto, Kazuhisa, Tamaki, SuguruVolume:
22
Language:
english
Journal:
computational complexity
DOI:
10.1007/s00037-013-0067-7
Date:
June, 2013
File:
PDF, 343 KB
english, 2013