53 citations · 146 across the 18 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.AI2009★ 1 cited
On Improving Local Search for Unsatisfiability
David Pereira, Inês Lynce, Steven Prestwich
Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been tr…
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…