Reconstructing the shape of a tree from observed dissimilarity data
Advances in Applied Mathematics
Algorithms on strings, trees, and sequences: computer science and computational biology
Algorithms on strings, trees, and sequences: computer science and computational biology
From four-taxon trees to phylogenies (preliminary report): the case of mammalian evolution
RECOMB '98 Proceedings of the second annual international conference on Computational molecular biology
A few logs suffice to build (almost) all trees (l): part I
Random Structures & Algorithms
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Some open problems in computational molecular biology
Journal of Algorithms
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Constructing Big Trees from Short Sequences
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Quartet Cleaning: Improved Algorithms and Simulations
ESA '99 Proceedings of the 7th Annual European Symposium on Algorithms
SATO: An Efficient Propositional Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Orchestrating Quartets: Approximation and Data Correction
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
A fixed-parameter algorithm for minimum quartet inconsistency
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Lookahead in smodels compared to local consistencies in CSP
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Character-Based cladistics and answer set programming
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Lparse Programs Revisited: Semantics and Representation of Aggregates
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
Faster phylogenetic inference with MXG
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Fast error-tolerant quartet phylogeny algorithms
CPM'11 Proceedings of the 22nd annual conference on Combinatorial pattern matching
Fast error-tolerant quartet phylogeny algorithms
Theoretical Computer Science
Hi-index | 0.00 |
In this paper, a new representation is presented for the Maximum Quartet Consistency (MQC) problem, where solving the MQC problem becomes searching for an ultrametric matrix that satisfies a maximum number of given quartet topologies. A number of structural properties of the MQC problem in this new representation are characterized through formulating into answer set programming, a recent powerful logic programming tool for modeling and solving search problems. Using these properties, a number of optimization techniques are proposed to speed up the search process. The experimental results on a number of simulated data sets suggest that the new representation, combined with answer set programming, presents a unique perspective to the MQC problem.