constraint programming

encodes an operation history as a constraint problem for a SAT solver to find a legal interpretation

“Constraint programming verified that no valid serialization existed for the observed history.”