A Restriction of Factoring in Binary Resolution.

Published in: CADE (1988)

Keyphrases

high resolution
low resolution
multiresolution
data sets
non binary
consequence finding
database
knowledge base
case study