Xie, Aiken, 2005. Scalable error detection using boolean satisfiability, in: . ACM Press.. https://doi.org/10.1145/1040305.1040334