SAT-based Veri cation of Conditional Partial Order Graphs