BDD encoding for partial order constraints and its application to expert systems in software verification domains.
Masahito KuriharaHisashi KondoPublished in: SMC (2000)
Keyphrases
- partial order
- expert systems
- partially ordered
- total order
- stable marriage
- temporal planning
- pseudo boolean constraints
- sat encodings
- causal links
- global constraints
- lattice structure
- knowledge representation
- conditional independencies
- conceptual graphs
- preference relations
- dominance relation
- pseudo boolean
- knowledge base
- decision problems
- constraint satisfaction
- real world