1. Diagnosing and solving over-determined constraint satisfaction problems;Bakker,1993
2. On computing minimal equivalent subformulas;Belov,2012
3. Redundancy in random SAT formulas;Boufkhad,2000
4. An analysis of knowledge collected from volunteer contributors;Chklovski,2005
5. Redundancy in CSPs;Chmeiss,2008