Hoos holger (26 Ergebnisse)

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Zustand: Used. pp. 238 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: Used. pp. 412 Illus.

Zustand: Used. pp. 238.

Zustand: Used. pp. 412.

Zustand: New. In English.

Zustand: Very Good. : Este libro explora los algoritmos de búsqueda local estocástica para problemas combinatorios. Cubre los fundamentos y aplicaciones de la inteligencia artificial, con un enfoque en la programación estocástica y el análisis combinatorio. Ideal para aquellos interesados en la investigación de operaciones y la inteligencia artificial en general. EAN: 9781558608726 Tipo: Libros Categoría: Tecnología Título: Stochastic Local Search Autor: Holger H Hoos Idioma: eng Páginas: 658 Formato: tapa dura.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2009 edition. 155 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 221 pages. 9.00x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering. To a large degree, this popularity is based on the conceptual simplicity of many SLS methods and on their excellent performance on a wide gamut of problems, ranging from rather abstract problems of high academic interest to the very s- ci c problems encountered in many real-world applications. SLS methods range from quite simple construction procedures and iterative improvement algorithms to more complex general-purpose schemes, also widely known as metaheuristics, such as ant colony optimization, evolutionary computation, iterated local search, memetic algorithms, simulated annealing, tabu search and variable neighborhood search. Historically, the development of e ective SLS algorithms has been guided to a large extent by experience and intuition, and overall resembled more an art than a science. However, in recent years it has become evident that at the core of this development task there is a highly complex engineering process, which combines various aspects of algorithm design with empirical analysis techniques and problem-speci c background, and which relies heavily on knowledge from a number of disciplines and areas, including computer science, operations research, arti cial intelligence, and statistics. This development process needs to be - sisted by a sound methodology that addresses the issues arising in the various phases of algorithm design, implementation, tuning, and experimental eval- tion.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.- Incremental Compilation-to-SAT Procedures.- Resolve and Expand.- Looking Algebraically at Tractable Quantified Boolean Formulas.- Derandomization of Schuler's Algorithm for SAT.- Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank.- QBF Reasoning on Real-World Instances.- Automatic Extraction of Functional Dependencies.- Algorithms for Satisfiability Using Independent Sets of Variables.- Aligning CNF- and Equivalence-Reasoning.- Using DPLL for Efficient OBDD Construction.- Approximation Algorithm for Random MAX-kSAT.- Clause Form Conversions for Boolean Circuits.- From Spin Glasses to Hard Satisfiable Formulas.- CirCUs: A Hybrid Satisfiability Solver.- Equivalence Models for Quantified Boolean Formulas.- Search vs. Symbolic Techniques in Satisfiability Solving.- Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.- Satisfiability Threshold of the Skewed Random k-SAT.- NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.- Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.- SAT Solver Competition and QBF Solver Evaluation (Invited Papers).- Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.- March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SATSolver.- Zchaff2004: An Efficient SAT Solver.- The Second QBF Solvers Comparative Evaluation.…

Taschenbuch. Zustand: Neu. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics | International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings | Thomas Stützle (u. a.) | Taschenbuch | x | Englisch | 2007 | Springer | EAN 9783540744450 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics | International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings | Thomas Stützle (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642037504 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 402 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 402 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Zustand: Brand New. 1st edition. 658 pages. 9.25x7.50x1.53 inches. In Stock.

Softcover. Zustand: gut. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007 In deutscher Sprache. pages.

Softcover. Zustand: gut. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Second International Workshop, S In deutscher Sprache. pages.