Books > Business & Economics > Business & management > Management & management techniques > Operational research
|
Buy Now
Handbook of Parallel Constraint Reasoning (Paperback, Softcover reprint of the original 1st ed. 2018)
Loot Price: R3,341
Discovery Miles 33 410
|
|
Handbook of Parallel Constraint Reasoning (Paperback, Softcover reprint of the original 1st ed. 2018)
Expected to ship within 10 - 15 working days
|
This is the first book presenting a broad overview of parallelism
in constraint-based reasoning formalisms. In recent years, an
increasing number of contributions have been made on scaling
constraint reasoning thanks to parallel architectures. The goal in
this book is to overview these achievements in a concise way,
assuming the reader is familiar with the classical, sequential
background. It presents work demonstrating the use of multiple
resources from single machine multi-core and GPU-based computations
to very large scale distributed execution platforms up to 80,000
processing units. The contributions in the book cover the most
important and recent contributions in parallel propositional
satisfiability (SAT), maximum satisfiability (MaxSAT), quantified
Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem
proving (TP), answer set programming (ASP), mixed integer linear
programming (MILP), constraint programming (CP), stochastic local
search (SLS), optimal path finding with A*, model checking for
linear-time temporal logic (MC/LTL), binary decision diagrams
(BDD), and model-based diagnosis (MBD). The book is suitable for
researchers, graduate students, advanced undergraduates, and
practitioners who wish to learn about the state of the art in
parallel constraint reasoning.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.