On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. - Rohan Fossé; Laurent Simon 001 (CP, 2018)

On a greedy approach for genome scaffolding. - Tom Davot; Annie Chateau; Rohan Fossé; Rodolphe Giroudeau; Mathias Weller (Algorithms Mol. Biol., 2022)