German Parallele Algorithmen für das Erfüllbarkeitsproblem Cited by user Cydhra on 23 Jan 2023 Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von englisch satisfiability) ist eines der grundlegendsten, schweren Probleme der Informatik.
English Phylogenetic reconciliation Cited by user Headbomb on 08 Jan 2023 In phylogenetics, reconciliation is an approach to connect the history of two or more coevolving biological entities.