Hoos, Holger H.
Overview
Works: | 2 works in 0 publications in 0 languages |
---|
Titles
Engineering stochastic local search algorithmsdesigning, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009 : proceedings /
by:
(1998 :); Birattari, Mauro.; Hoos, Holger H.; SpringerLink (Online service); Stutzle, Thomas.
(Electronic resources)
Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(1998 :); Hoos, Holger H.; Mitchell, David G.; SpringerLink (Online service)
(Electronic resources)
Stochastic local searchfoundations and applications /
by:
Hoos, Holger H.; St�utzle, Thomas.
(Electronic resources)
Subjects
Propositional calculus
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Data Structures, Cryptology and Information Theory.
Computer algorithms
Search theory
Stochastic programming
Data Storage Representation.
Logics and Meanings of Programs.
Stochastic programming.
Algebra, Boolean
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Electronic information resource searching
Data Structures.
Algorithmes.
Decision making
Algorithms.
Analyse combinatoire.
Numeric Computing.
Data Mining and Knowledge Discovery.
Programmation stochastique.
Heuristic programming
Computer Science.
Combinatorial analysis.