150 citations · 619 across the 52 of their papers we have counts for
3 papers · 2 filters
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements…
Horn Maximum Satisfiability: Reductions, Algorithms & Applications
Joao Marques-Silva, Alexey Ignatiev, Antonio Morgado
Recent years have witness remarkable performance improvements in maximum satisfiability (MaxSAT) solvers. In practice, MaxSAT algorithms often target the most generic MaxSAT formul…
On Tackling the Limits of Resolution in SAT Solving
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof com…