Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Język

Angielski

Książka Miękka

Kod Libristo: 15368821

Wydawnictwo Springer International Publishing AG, październik 2016

This book provides a significant step towards bridging the areas of Boolean satisfiability and const... Cały opis

Kod Libristo: 15368821

141 b

Gwarancja
najlepszej
ceny ▸

247.87 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

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

Twarda

80.64 zł

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

Miękka

80.14 zł

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Książka

697.43 zł

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

Miękka

66.58 zł

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

Miękka

257.01 zł

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Miękka

225.07 zł

Tres semanas de mal dormir José María Merino

Miękka

81.14 zł

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Twarda

129.15 zł

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

Miękka

86.97 zł

Bonnets et chapeaux au crochet Armani

Twarda

82.05 zł

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

Miękka

54.03 zł

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Twarda

182.29 zł

Patrick Melrose: Nerieš to Edward St. Aubyn

Miękka

53.12 zł

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

Miękka

70.10 zł

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

Miękka

115.49 zł

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

Miękka

181.58 zł

Witches - Hexenzirkel Pia Hepke

Miękka

47.90 zł

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.