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