150 citations · 619 across the 52 of their papers we have counts for
Showing 2008 · cs.AIShow all
2 papers · 2 filters
cs.AI2008
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Antonio Morgado, Joao Marques-Silva
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart…
cs.AI2008
Symmetry Breaking for Maximum Satisfiability
Joao Marques-Silva, Ines Lynce, Vasco Manquinho
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred…