Coverart for item
The Resource Combinatorial search : from algorithms to systems, Youssef Hamadi

Combinatorial search : from algorithms to systems, Youssef Hamadi

Label
Combinatorial search : from algorithms to systems
Title
Combinatorial search
Title remainder
from algorithms to systems
Statement of responsibility
Youssef Hamadi
Creator
Subject
Language
eng
Summary
Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to efficiently explore these regions. Various mathematical formalisms may be used to express and tackle combinatorial problems, among them the constraint satisfaction problem (CSP) and the propositional satisfiability problem (SAT). These algorithms, or constraint solvers, apply search space reduction through inference techniques, use activity-based heuristics to guide exploration, diversify the searches through frequent restarts, and often learn from their mistakes. In this book the author focuses on knowledge sharing in combinatorial search, the capacity to generate and exploit meaningful information, such as redundant constraints, heuristic hints, and performance measures, during search, which can dramatically improve the performance of a constraint solver. Information can be shared between multiple constraint solvers simultaneously working on the same instance, or information can help achieve good performance while solving a large set of related instances. In the first case, information sharing has to be performed at the expense of the underlying search effort, since a solver has to stop its main effort to prepare and communicate the information to other solvers; on the other hand, not sharing information can incur a cost for the whole system, with solvers potentially exploring unfeasible spaces discovered by other solvers. In the second case, sharing performance measures can be done with little overhead, and the goal is to be able to tune a constraint solver in relation to the characteristics of a new instance this corresponds to the selection of the most suitable algorithm for solving a given instance. The book is suitable for researchers, practitioners, and graduate students working in the areas of optimization, search, constraints, and computational complexity
http://library.link/vocab/creatorName
Hamadi, Youssef
Dewey number
519.6/4
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/subjectName
  • Combinatorial optimization
  • Computer algorithms
  • Constraint programming (Computer science)
  • Electronic information resource searching
Label
Combinatorial search : from algorithms to systems, Youssef Hamadi
Instantiates
Publication
Antecedent source
unknown
Color
multicolored
Contents
  • Boosting Distributed Constraint Networks
  • Parallel Tree Search for Satisfiability
  • Parallel Local Search for Satisfiability
  • Learning Variables Dependencies
  • Continuous Search
  • Autonomous Search
  • Conclusion and Perspectives
Control code
ocn865010802
Dimensions
unknown
Extent
1 online resource (xiii, 139 pages)
File format
unknown
Form of item
online
Isbn
9783642414824
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-642-41482-4
Other physical details
illustrations (some color)
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)865010802
Label
Combinatorial search : from algorithms to systems, Youssef Hamadi
Publication
Antecedent source
unknown
Color
multicolored
Contents
  • Boosting Distributed Constraint Networks
  • Parallel Tree Search for Satisfiability
  • Parallel Local Search for Satisfiability
  • Learning Variables Dependencies
  • Continuous Search
  • Autonomous Search
  • Conclusion and Perspectives
Control code
ocn865010802
Dimensions
unknown
Extent
1 online resource (xiii, 139 pages)
File format
unknown
Form of item
online
Isbn
9783642414824
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-642-41482-4
Other physical details
illustrations (some color)
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)865010802

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...