150 citations · 275 across the 41 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
On Minimal Corrections in ASP
Mikoláš Janota, Joao Marques-Silva
As a programming paradigm, answer set programming (ASP) brings about the usual issue of the human error. Hence, it is desirable to provide automated techniques that could help the…
cs.LO2014★ 8 cited
Computing Minimal Sets on Propositional Formulae I: Problems & Reductions
Joao Marques-Silva, Mikolas Janota
Boolean Satisfiability (SAT) is arguably the archetypical NP-complete decision problem. Progress in SAT solving algorithms has motivated an ever increasing number of practical appl…