150 citations · 619 across the 52 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
cs.LO2008
Model Checking Event-B by Encoding into Alloy
Paulo J. Matos, Joao Marques-Silva
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While…
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…