Critical Behavior in the Computational Cost of Satisfiability Testing.

Bart Selman Scott Kirkpatrick

Published in: Artif. Intell. (1996)

Keyphrases

computational cost
satisfiability testing
propositional logic
computer vision
information retrieval
databases
real time
neural network
information systems
knowledge base
mobile robot
human behavior
adaptive behavior
tie breaking