Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Sprache

Englisch

Buch Broschur

Libristo-Code: 15368821

Verlag Springer International Publishing AG, Oktober 2016

This book provides a significant step towards bridging the areas of Boolean satisfiability and const... Vollständige Beschreibung

Libristo-Code: 15368821

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Buch

169.19 €

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

Broschur

16.19 €

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

Broschur

68.00 €

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Broschur

55.29 €

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

Broschur

20.99 €

Knihkupec z Kábulu Asne Seierstad

Broschur

15.59 €

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

Broschur

21.39 €

Patrick Melrose: Nerieš to Edward St. Aubyn

Broschur

12.99 €

Bonnets et chapeaux au crochet Armani

Hardcover

19.89 €

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

Hardcover

19.69 €

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Hardcover

44.59 €

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

Broschur

7.39 €

Tres semanas de mal dormir José María Merino

Broschur

19.79 €

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

Broschur

17.09 €

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

Broschur

28.19 €

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

Broschur

47.95 €

Cooperatio ad malum Christian Oppermann

Broschur

42.95 €

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

Broschur

13.19 €

Witches - Hexenzirkel Pia Hepke

Broschur

11.79 €

Ernährungsratgeber Demenz Miriam Schaufler

Broschur

19.99 €

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Hardcover

31.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Bridging Constraint Satisfaction and Boolean Satisfiability

Autor Justyna Petke

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 113

EAN 9783319373645

ISBN 9783319373645

Libristo-Code 15368821

Verlag Springer International Publishing AG

Gewicht 2058

Abmessungen 155 x 235 x 8

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert