Hoos, Holger H.
概要
作品: | 2 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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.
(書目-電子資源)
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)
(書目-電子資源)
Stochastic local searchfoundations and applications /
by:
Hoos, Holger H.; St�utzle, Thomas.
(書目-電子資源)
主題
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.