Login / Signup
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version)
Tero Laitinen
Tommi A. Junttila
Ilkka Niemelä
Published in:
CoRR (2012)
Keyphrases
</>
fuzzy description logics
error correction
knowledge base
reasoning systems
spatial reasoning
data sets
information retrieval
reasoning tasks
reasoning process