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,99

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

Paredzamā piegāde . gada 26. jūn. - . gada 10. jūl.
Pievienot savam iMusic vēlmju sarakstam

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

Mere med samme udgiver