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