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

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

Pris
SEK 569

Beställningsvara

Förväntad leverans 11 - 19 nov
Julklappar kan bytas fram till 31:e januari
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, 19 black & white illustrations, 13 black & white tables, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 19 augusti 2015
ISBN13 9783319218090
Utgivare Springer International Publishing AG
Antal sidor 113
Mått 155 × 235 × 10 mm   ·   358 g
Språk Franska  

Mer från samma **utgivare**