SWORD: A SAT like prover using word level information.

Robert Wille Görschwin Fey Daniel Große Stephan Eggersglüß Rolf Drechsler

Published in: VLSI-SoC (2007)

Keyphrases

knn
artificial intelligence
feature selection
image processing
keywords
document retrieval
knowledge sources
information access