Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.)
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Holger H. Hoos, David G. Mitchell
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Arne Løkketangen (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Arne Løkketangen (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Bertrand Estellon, Frédéric Gardi, Karim Nouioua (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Bertrand Estellon, Frédéric Gardi, Karim Nouioua (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Stochastic Local Search : Foundations & Applications (The Morgan Kaufmann Series in Artificial Intelligence)
  • PDF
  • English
  • Year: 2004
  • Author: Holger H. Hoos, Thomas Stutzle
Theory and Applications of Satisfiability Testing – SAT 2021
  • PDF
  • English
  • Year: 2021
  • Author: Chu-Min Li, Felip Manyà
Stochastic Local Search: Foundations & Applications (The Morgan Kaufmann Series in Artificial Intelligence)
  • PDF
  • English
  • Year: 2004
  • Author: Holger H. Hoos, Thomas Stützle
search