Elimination problems in logic: a brief history.

Published in: Synth. (2008)

Keyphrases

np complete
problems involving
multi valued
database
website
benchmark problems
face recognition
feature space
decision problems
combinatorial optimization
classical logic