Strong partial clones and the time complexity of SAT problems
Jonsson, Peter, Lagerkvist, Victor, Nordh, Gustav, Zanuttini, BrunoLanguage:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2016.07.008
Date:
September, 2016
File:
PDF, 1.48 MB
english, 2016