scientific article

zbMath1214.68364MaRDI QIDQ3005895

Antonio Morgado, João P. Marques-Silva

Publication date: 10 June 2011

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

optimization algorithmssatisfiability modulo theoriespseudo-Boolean optimizationmaximum quartet consistency

Mathematics Subject Classification ID

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

Related Items (2)

Optimizing phylogenetic supertrees using answer set programming ⋮ On the weighted quartet consensus problem

Uses Software

• Pueblo
• Smodels
• PicoSAT
• clasp

This page was built for publication: