Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 15368821

Nakladnici Springer International Publishing AG, listopad 2016

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

Libristo kod: 15368821

135 b

55.73 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Tvrdi uvez

18.06 €

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

Meki uvez

18.87 €

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Knjiga

157.40 €

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

Meki uvez

14.93 €

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

Meki uvez

60.47 €

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Meki uvez

53.00 €

Tres semanas de mal dormir José María Merino

Meki uvez

18.16 €

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Tvrdi uvez

28.77 €

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

Meki uvez

20.49 €

Bonnets et chapeaux au crochet Armani

Tvrdi uvez

18.47 €

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

Meki uvez

12.71 €

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Tvrdi uvez

42.90 €

Patrick Melrose: Nerieš to Edward St. Aubyn

Meki uvez

11.80 €

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

Meki uvez

16.45 €

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

Meki uvez

27.15 €

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

Meki uvez

42.70 €

Witches - Hexenzirkel Pia Hepke

Meki uvez

10.59 €

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.