Skip to content

On the Approximability of Splitting-SAT in 2-CNF Horn Formulas.

Hans-Joachim Bckenhauer, Lucia Keller

VenueCIWOCA
Year2013
ProceedingsIWOCA

Browse the full IWOCA paper archive.