Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Език

Английски език

Книга С меки корици

Код Либристо: 15368821

Издателство Springer International Publishing AG, октомври 2016

This book provides a significant step towards bridging the areas of Boolean satisfiability and const... Цялото описание

Код Либристо: 15368821

142 b

58.67 €

114.74 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Los Compas escapan de la prisión (nueva presentación) EL TROLLINO Y TIMBA VK MIKECRACK

С твърди корици

19.93 € 38.98 лв

Optische Erfassung von Gefügeumwandlungen in Stählen: Eine innovative Methode zur zeit- und kosteneffizienten Werkstoffcharakterisierung

С меки корици

20.04 € 39.19 лв

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Книга

171.35 € 335.14 лв

Tandem - Maths CE1 - Fichier de l'élève + Cahier géométrie Stéphanie Collomb

С меки корици

16.36 € 32.00 лв

Konzeption eines integrierten Planungs- und Kontrollsystems fur Nonprofit Organisationen am Beispiel des Deutschen Komitee der AIESEC e.V. Ulf-Wedig von der Osten

С меки корици

64.21 € 125.58 лв

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

С меки корици

55.98 € 109.48 лв

Tres semanas de mal dormir José María Merino

С меки корици

20.09 € 39.29 лв

Schönrich, G: Zeichenhandeln Gerhard Schönrich

С твърди корици

32.10 € 62.79 лв

scala degli idioti di Gurdjieff. I 21 gradini dell'evoluzione spirituale Patrick Négrier

С меки корици

21.64 € 42.33 лв

Bonnets et chapeaux au crochet Armani

С твърди корици

20.19 € 39.49 лв

Sancey, Chef Du Deuxieme Bataillon de la Moselle, En Reponse A Laver, Capitaine Audit ""

С меки корици

12.73 € 24.91 лв

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

С твърди корици

43.03 € 84.16 лв

Patrick Melrose: Nerieš to Edward St. Aubyn

С меки корици

13.15 € 25.72 лв

Premieres Lectures d'Economie Rurale: Les Cultures Et Les Betes MEHEUST-P

С меки корици

16.57 € 32.40 лв

Notice Historique Sur La Fondation de la Societe de l'Union Des Travailleurs Du Tour-De-France Marquet-J

С меки корици

27.29 € 53.37 лв

Fuhrungspersoenlichkeiten in kreativwirtschaftlichen Betrieben. Diversitat und Komplexitat der kreativen Fuhrung Kurt Arbter

С меки корици

45.36 € 88.71 лв

Witches - Hexenzirkel Pia Hepke

С меки корици

11.91 € 23.29 лв

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. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances. Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years. The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.