reHCstar is a SAT-based program to compute a haplotype configuration on pedigrees with recombinations, genotyping errors, and missing genotypes.

reHCstar has been designed and implemented by Yuri Pirola under the supervision of Gianluca Della Vedova and Paola Bonizzoni.

Project Page

Please refer to the main project page for download, installation, and usage instructions.


Please cite the following paper when using reHCstar:
Yuri Pirola, Gianluca Della Vedova, Stefano Biffani, Alessandra Stella, and Paola Bonizzoni.
A Fast and Practical Approach to Genotype Phasing and Imputation on a Pedigree with Erroneous and Incomplete Information.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(6), 1582-1594, 2012.

A preliminary version of this work appeared in Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences (ICCABS). IEEE (2012). doi:10.1109/ICCABS.2012.6182643

(A pre-print version is available upon request to one of the authors.)


Please contact Yuri Pirola for additional information.