Hoos, Holger H.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
Stochastic local search = foundations and applications /
by:
St�utzle, Thomas.; Hoos, Holger H.
(書目-語言資料,印刷品)
主題
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.