The Complexity of Read-Once Resolution.

Hans Kleine Büning Xishun Zhao

Published in: Ann. Math. Artif. Intell. (2002)

Keyphrases

worst case
database
databases
real time
neural network
computer vision
information systems
evolutionary algorithm
computational cost
low resolution
orders of magnitude
max sat