713 citations
- M. Pimenta3 profiles25 · h 58
- D. Jeans3 profiles23 · h 40
- A. Andreazza4 profiles22 · h 101
- A. Augustinus3 profiles22 · h 89
- A. Ballestrero2 profiles22 · h 36
- A. Baroncelli4 profiles22 · h 108
- A. Behrmann3 profiles22 · h 23
- A. Ferrer3 profiles22 · h 71
- A. Hallgren5 profiles22 · h 89
- A. Lipniacka2 profiles22 · h 86
- A. Malek3 profiles22 · h 26
- A. Onofre2 profiles22 · h 88
- Centre National de la Recherche ScientifiqueFR26 papers
- European Organization for Nuclear ResearchCH25 papers
- University of OxfordGB25 papers
- Institute of High Energy PhysicsCN23 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR23 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT23 papers
- University of BolognaIT23 papers
- Charles UniversityCZ22 papers
- Institute of Nuclear and Particle PhysicsGR22 papers
- Iowa State UniversityUS22 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT22 papers
- Joint Institute for Nuclear ResearchRU22 papers
Showing 2009 · cs.AIShow all
2 papers · 2 filters
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.AI2009★ 11 cited
Algorithms for Weighted Boolean Optimization
Vasco Manquinho, Joao Marques-Silva, Jordi Planes
The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, differen…