Complexity Results for Linear XSAT-Problems.

Stefan Porschen Tatjana Schmidt Ewald Speckenmeyer

Published in: SAT (2010)

Keyphrases

decision problems
computational complexity
computer vision
decision trees
np complete
application domains
closed form
combinatorial optimization
mathematical programming
neural network
video sequences
optimization problems
problems involving
linear complexity
np hardness
computational issues