Opening book details…
About this Computer Science article
A Switching Criterion for Intensification and Diversification in Local Search for SAT12 by Wei, Wanxia; Li, Chu Min; Zhang, Harry; Speckenmeyer, Ewald; Li, Chu Min; Manquinho, Vasco; Tacchella, Armando is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Wei, Wanxia; Li, Chu Min; Zhang, Harry; Speckenmeyer, Ewald; Li, Chu Min; Manquinho, Vasco; Tacchella, Armando
- Publisher
- IOS Press (ISSN 1574-0617)
- Published
- 2008
- Field
- Computer Science (Physical Sciences)