https://123dok.net/document/zkw1g7ez-a-polynomial-time-algorithm-for-finding-a-minimal-conflicting-set-containing-a-given-row.html