Error Detection in Pedigrees Using Satisfiability-Based Approaches