150 citations · 619 across the 52 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
Industrial-Strength Formally Certified SAT Solving
Ashish Darbari, Bernd Fischer, Joao Marques-Silva
Boolean Satisfiability (SAT) solvers are now routinely used in the verification of large industrial problems. However, their application in safety-critical domains such as the rail…
cs.LO2009★ 25 cited
On Solving Boolean Multilevel Optimization Problems
Josep Argelich, Ines Lynce, Joao Marques-Silva
Many combinatorial optimization problems entail a number of hierarchically dependent optimization problems. An often used solution is to associate a suitably large cost with each i…