2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 2 cited
The Sets of Power
Joao Marques-Silva, Carlos Mencía, Raúl Mencía
Measures of voting power have been the subject of extensive research since the mid 1940s. More recently, similar measures of relative importance have been studied in other domains…
cs.LO2015★ 1 cited
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M. Fareed Arif, Carlos Mencía, Joao Marques-Silva
The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of practical applications, that includes a wide range of diagnosis problems. As a concrete example,…