Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Grāmatas - Springer International Publishing AG - 9783319373645 - 2016. gada 22. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 63,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.
Saņemiet paziņojumus par jauniem Justyna Petke izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2016. gada 22. oktobris
ISBN13 9783319373645
Izdevēji Springer International Publishing AG
Lapas 113
Izmēri 150 × 220 × 10 mm   ·   190 g

Vairāk no tā paša izdevēja