Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Böcker - Springer International Publishing AG - 9783319373645 - 22 oktober 2016
Om omslag och titel inte matchar är det titeln som gäller

Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

Pris
SEK 659

Beställningsvara

Förväntad leverans 9 - 23 sep
Få avisering om nya utgåvor med Justyna Petke
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.


113 pages, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 22 oktober 2016
ISBN13 9783319373645
Utgivare Springer International Publishing AG
Antal sidor 113
Mått 150 × 220 × 10 mm   ·   190 g

Mer från samma **utgivare**