4 search results - page 1 / 1 » New Fixed-Parameter Algorithms for the Minimum Quartet Incon... |
MST
2010
14 years 8 months ago
2010
76
Voted
MST
2010
14 years 8 months ago
2010
We initiate the first systematic study of the NP-hard Cluster Vertex Deletion (CVD) problem (unweighted and weighted) in terms of fixed-parameter algorithmics. In the unweighted...
84
Voted
CP
2007
Springer
15 years 2 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
93
Voted
DAM
2010
14 years 10 months ago
2010
Abstract. A set of phylogenetic trees with overlapping leaf sets is consistent if it can be merged without conflicts into a supertree. In this paper, we study the polynomial-time a...