Login / Signup
Split Resolution Tailoring Tableaux to Refute Clause Sets.
F. Buffoli
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
modal logic
high resolution
horn clauses
constraint satisfaction
consequence finding
functional dependencies
machine learning
low resolution
image sequences
social networks
high quality
belief revision
database systems
theorem prover
convex sets
image resolution
information retrieval