Verification of conditional partial order graphs.
Andrey MokhovAlexandre YakovlevPublished in: ACSD (2008)
Keyphrases
- partial order
- partially ordered
- total order
- partial ordering
- stable marriage
- set theory
- weighted graph
- lattice structure
- logical formulas
- conceptual graphs
- graph theoretic
- maximum weight
- model checking
- graphical structure
- dominance relation
- directed graph
- random variables
- graph structure
- probability distribution
- association graph
- totally ordered