Pages that link to "Item:Q3637154"
From MaRDI portal
The following pages link to Efficiently Calculating Evolutionary Tree Measures Using SAT (Q3637154):
Displaying 6 items.
- Optimality of the neighbor joining algorithm and faces of the balanced minimum evolution polytope (Q263784) (← links)
- Gene tree reconciliation including transfers with replacement is NP-hard and FPT (Q2424823) (← links)
- Empirical Study of the Anatomy of Modern Sat Solvers (Q3007695) (← links)
- The agreement distance of unrooted phylogenetic networks (Q3386619) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← links)
- On CDCL-Based Proof Systems with the Ordered Decision Strategy (Q5097511) (← links)