 Detailed information can be found in Patrice Godefroid's thesis .In symbolic model checking, partial order reduction can be achieved by adding more constraints (guard strengthening).Further applications of partial order reduction involve automated planning.