Implicational Completeness of Signed Resolution.

Christian G. Fermüller

Published in: FTP (LNCS Selection) (1998)

Keyphrases

high resolution
high quality
social networks
mobile devices
real time
data sets
image processing
data model
management system
image quality
formal proofs
conflict detection