Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.

François Bry Adnan H. Yahya

Published in: TABLEAUX (1996)

Keyphrases

positive and negative
low resolution
functional dependencies
decision procedures
three dimensional
real world
artificial neural networks
high resolution
image quality
automated reasoning