Constructing Camin-Sokal Phylogenies Via Answer Set Programming

DOI10.1007/11916277_31zbMath1165.92318OpenAlexW1552977268MaRDI QIDQ5387911

Eugenia Ternovska, Jonathan Kavanagh, Arvind Kumar Gupta, David G. Mitchell, Xiaohong Zhao, Ján Maňuch

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://summit.sfu.ca/item/3552

zbMATH Keywords

phylogenymaximum parsimony

Mathematics Subject Classification ID

Problems related to evolution (92D15) Logic programming (68N17)

Related Items (1)

Optimizing phylogenetic supertrees using answer set programming

Uses Software

• Cmodels
• Smodels
• PHYLIP

This page was built for publication: Constructing Camin-Sokal Phylogenies Via Answer Set Programming