Login / Signup

Extending Clause Learning SAT Solvers with Complete Parity Reasoning.

Tero LaitinenTommi A. JunttilaIlkka Niemelä
Published in: ICTAI (2012)
Keyphrases
  • knowledge representation
  • knowledge base
  • error correction
  • reasoning systems
  • special case
  • automated reasoning
  • data sets
  • spatial reasoning
  • reasoning process
  • model based reasoning
  • deductive reasoning