The relative complexity of analytic tableaux and SL-resolution.

Published in: Stud Logica (1993)

Keyphrases

computational complexity
computational cost
data sets
high resolution
decision problems
modal logic
real time
genetic algorithm
image processing
consequence finding
conflict detection