Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15368821

Nakladateľstvo Springer International Publishing AG, október 2016

This book provides a significant step towards bridging the areas of Boolean satisfiability and const... Celý popis

Libristo kód: 15368821

135 b

55.93 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Pevná

40.93 €

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

Brožovaná

15.60 €

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

Pevná

17.12 €

Bonnets et chapeaux au crochet Armani

Pevná

19.25 €

We're Looking for the Perfect Hug Martha Mumford

Brožovaná

7.69 €

Cooperatio ad malum Christian Oppermann

Brožovaná

38.40 €

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

Brožovaná

14.08 €

Knihkupec z Kábulu Asne Seierstad

Brožovaná

11.44 €

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

Brožovaná

18.94 €

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Kniha

151.10 €

Dívka, která musí zemřít David Lagercrantz

Brožovaná

6.98 €

Patrick Melrose: Nerieš to Edward St. Aubyn

Brožovaná

9.41 €

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

Brožovaná

14.79 €

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

Brožovaná

25.43 €

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

Brožovaná

42.86 €

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

Brožovaná

12.15 €

Witches - Hexenzirkel Pia Hepke

Brožovaná

11.34 €

Tres semanas de mal dormir José María Merino

Brožovaná

17.22 €

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Pevná

30.49 €

Ernährungsratgeber Demenz Miriam Schaufler

Brožovaná

18.03 €

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Brožovaná

53.20 €

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

Brožovaná

60.70 €

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.