Minimum 2SAT-DELETION: Inapproximability results and relations to Minimum Vertex Cover.

Miroslav Chlebík Janka Chlebíková

Published in: Discret. Appl. Math. (2007)

Keyphrases

approximation algorithms
satisfiability problem
sat problem
search algorithm
special case
np complete
background knowledge
sat solvers
minimum cost
sat solving
neural network
attribute values
semantic relations
stochastic local search algorithms