Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
Sakai, Takayuki, Seto, Kazuhisa, Tamaki, SuguruVolume:
57
Language:
english
Journal:
Theory of Computing Systems
DOI:
10.1007/s00224-014-9600-6
Date:
August, 2015
File:
PDF, 932 KB
english, 2015