Dan Gusfield, Hannah Brown. Unified SAT-Solving for Hard Problems of Phylogenetic Network Construction. In Mukul S. Bansal, Ion I. Mandoiu, Marmar Moussa, Murray Patterson, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky, editors, Computational Advances in Bio and Medical Sciences: 11th International Conference, ICCABS 2021, Virtual Event, December 16-18, 2021, Revised Selected Papers. Volume 13254 of Lecture Notes in Computer Science, pages 79-91, Springer International Publishing, 2021. [doi]
Abstract is missing.