SPABBATS: a pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants - Flórez, Lope A (Verfasser); Gunka, Katrin (Verfasser); Polanía, Rafael (Verfasser); Tholen, Stefan (Verfasser); Stülke, Jörg (Verfasser) (Universität, 2025)