Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15368821

Nakladatelství Springer International Publishing AG, říjen 2016

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

Libristo kód: 15368821

135 b

1 352 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Pevná

460 Kč

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

Brožovaná

430 Kč

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Kniha

3 978 Kč

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

Brožovaná

380 Kč

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á

1 380 Kč

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Brožovaná

1 214 Kč

Tres semanas de mal dormir José María Merino

Brožovaná

463 Kč

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Pevná

737 Kč

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

Brožovaná

468 Kč

Bonnets et chapeaux au crochet Armani

Pevná

468 Kč

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

Brožovaná

293 Kč

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Pevná

990 Kč

Patrick Melrose: Nerieš to Edward St. Aubyn

Brožovaná

259 Kč

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

Brožovaná

380 Kč

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

Brožovaná

628 Kč

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

Brožovaná

975 Kč

Witches - Hexenzirkel Pia Hepke

Brožovaná

273 Kč

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.