Login / Signup

Identifying Domain Axioms Using Binary Decision Diagrams.

Barbara J. CzernyMats Per Erik Heimdahl
Published in: HASE (1999)
Keyphrases
  • binary decision diagrams
  • domain specific
  • boolean functions
  • knowledge base
  • domain independent
  • variable ordering
  • symbolic model checking
  • database systems