Login / Signup
Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.
Masahito Kurihara
Hisashi Kondo
Published in:
IEA/AIE (2004)
Keyphrases
</>
partial order
expert systems
partially ordered
total order
conceptual graphs
lattice structure
artificial intelligence
knowledge base
association rules
dynamic environments
constraint satisfaction
maximum weight
conditional independencies