Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.

Thomas Schiex Gérard Verfaillie

Published in: ECAI (1994)

Keyphrases

image enhancement
real time
three dimensional
search algorithm
quantified boolean formulas
neural network
information retrieval
artificial intelligence
decision making
web pages
relational databases
heuristic search