Intractability of Read-Once Resolution.

Kazuo Iwama Eiji Miyano

Published in: Computational Complexity Conference (1995)

Keyphrases

high resolution
np complete
low resolution
consequence finding
data sets
social networks
high quality
video sequences
expert systems
relational databases
conflict detection