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