Counting for Satisfiability by Inverting Resolution.

Published in: Artif. Intell. Rev. (2004)

Keyphrases

satisfiability problem
high resolution
np complete
phase transition
propositional logic
neural network
search algorithm
decision procedures
terminological reasoning
real time
artificial intelligence
image processing
computational complexity
logic programs
consequence finding