Organizing Committee |
| Yehuda Naveh, IBM Research Lab in Haifa naveh@il.ibm.com |
| Andrea Roli, Universita' di Bologna andrea.roli@unibo.it |
|
Program Committee |
| Chris Beck, U Toronto, Canada |
| Luca Di Gaspero, Universita di Udine, Italy |
| Pierre Flener, Sabanci University, Turkey, and Uppsala University, Sweden |
| William Havens, Simon Fraser U, Canada |
| Yehuda Naveh, IBM Research, Israel |
| Justin Pearson, Uppsala U, Sweden |
| Steve Prestwich, 4C, Ireland |
| Andrea Roli, Universita' di Bologna, Italy |
| Andrea Schaerf, Universita di Udine, Italy |
| Meinolf Sellmann, Brown U, USA |
| Bart Selman, Cornell University, USA |
| Thomas Stuetzle, TU Darmstadt, Germany |
| Pascal Van Hentenryck, Brown U, USA |
| Toby Walsh, NICTA & UNSW, Australia |
| |
|
|
LSCS 2007 Workshop
Fourth International Workshop on Local Search Techniques in Constraint Satisfaction in conjunction with CP 2007
Providence, RI, USA
September 23, 2007
High Dimensional Search Spaces: New Insights into Local Search for SAT
Bart Selman, Cornell University
Local search methods for Boolean satisfiability testing provide an alternative to the more traditional backtrack search based methods, such as the DPLL procedure. I will review the state-of-the-art in the field and will discuss open challenges and opportunities.
| |
|
|