English Partial order reduction Cited by user KolbertBot on 07 Sep 2017 In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking algorithm.