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

Name: Bridging Constraint Satisfaction and Boolean Satisfiability
Brand: Springer International Publishing AG
SKU: 09378313
Price: 53.79 EUR
Availability: InStock
Author: Justyna Petke
ISBN: 9783319218090

Justyna Petke

Sprache

Englisch

Buch Hardcover

Libristo-Code: 09378313

Verlag Springer International Publishing AG, August 2015

This book investigates the connections between constraint satisfaction problems (CSP) and Boolean sa... Vollständige Beschreibung

Libristo-Code: 09378313

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kämpfst du noch oder erziehst du schon? Ramona Bliestle

Hardcover

30.19 €

Busca e Apreensao Francisco Tadeu Carreira de Macedo

Broschur

33.59 €

Los blancos estáis locos LUIS MELGAR

Broschur

21.99 €

Cocuk Egitiminde Pozitif Iletisim Adem Günes

Broschur

14.69 €

Arbeitnehmerschutz Von Geschaftsfuhrenden Gesellschaftsorganen Im Lichte Der "danosa"-Entscheidung Des Eugh Inga Hildebrand

Hardcover

110.09 €

Bausteine Sprachbuch 2 US. Baden-Würtemberg Björn Bauch

Broschur

30.19 €

Chilam el nino de Balam Porfirio Gomora

Broschur

11.69 €

This book investigates the connections between constraint satisfaction problems (CSP) and Boolean satisfiability problems (SAT) and explains when we should choose a SAT-solver over a constraint solver, and vice versa. The author shows that with some encodings SAT-solvers simulate the effects of enforcing a form of local consistency in expected polynomial-time, which in turn explains why SAT-solvers are able to solve CSP instances of bounded-width structure efficiently, in contrast to conventional constraint solvers.§§The author first presents background notes on CSP and SAT, solver performance and SAT encodings, including a theoretical argument for the choice of the order encoding over the standard ones for several important classes of CSP instances. She provides a complete list of the constraint languages that are encoded to tractable language classes for SAT using the order encoding, and offers both theoretical and empirical comparison of the various SAT encodings of the famous pigeonhole problem.§§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 - Hardcover

Datum der Veröffentlichung 2015

Anzahl der Seiten 113

EAN 9783319218090

ISBN 3319218093

Libristo-Code 09378313

Verlag Springer International Publishing AG

Gewicht 366

Abmessungen 155 x 235 x 243

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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