Combinatorial optimization solutions for the maximum quartet consistency problem

MaRDI QIDQ3005895zbMATH OpenFDO

Authors Antonio Morgado, Joao Marques-Silva

Publication date 10 June 2011

Full work available at URL http://iospress.metapress.com/content/8788741761328223/fulltext.html

zbMATH Keywords

maximum quartet consistencyoptimization algorithmspseudo-Boolean optimizationsatisfiability modulo theories

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27) Problems related to evolution (92D15)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Inferring phylogenetic trees using pseudo-Boolean optimization
• Optimizing phylogenetic supertrees using answer set programming
• scientific article; zbMATH DE number 1303534
• An exact algorithm for the minimum quartet tree cost problem

Cited in

(3)

• On the weighted quartet consensus problem
• Inferring phylogenetic trees using pseudo-Boolean optimization
• Optimizing phylogenetic supertrees using answer set programming

Describes a project that uses

Uses Software

• Pueblo
• Smodels
• PicoSAT
• clasp

This page was built for publication: Combinatorial optimization solutions for the maximum quartet consistency problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005895)