Computing Resolution-Path Dependencies in Linear Time , .

Friedrich Slivovsky Stefan Szeider

Published in: SAT (2012)

Keyphrases

high resolution
worst case
real world
minimum cost
consequence finding
database
real time
databases
machine learning
information systems
similarity measure
dependency analysis