Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [Risorsa elettronica] : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642037511 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009261750403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Applications of Satisfiability Testing [Risorsa elettronica] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540315803 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009244680403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|