Menu
Află starea comenzii
Contactați-ne
Carte Bridging Constraint Satisfaction and Boolean Satisfiability Justyna Petke

Bridging Constraint Satisfaction and Boolean Satisfiability

Autor: Justyna Petke
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
297.49 lei
This book provides a significant step towards bridging the areas of Boolean satisfiability and const...

Informații despre carte

Autor
Justyna Petke
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2016
Pagini
113
EAN
9783319373645
ISBN
9783319373645
Enbook ID
15368821
Editura
Springer International Publishing AG
Greutate
2058
Dimensiuni
155 x 235 x 8

Descriere completă

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.

S-ar putea să te intereseze

Land Beyond the Waste, The – A Novel

B. Peterson
110.00 lei

Sunshine Nails

Mai Nguyen
155.05 lei

Saints

Orson Scott Card
179.20 lei

Museums, Heritage and Indigenous Voice

Bryony Onciul
291.93 lei

Astronomy Book

Thomas Judd
58.48 lei

Monsterverse Titanthology Vol. 1

Zid
109.80 lei

My Heart Hemmed in

Marie Ndiaye
77.37 lei

Sallow

Frances Presely
79.90 lei

FAIR CITY CHIMES: A BOOK OF VERSE

DAVID MITCHEL SMITH
168.69 lei

RURAL AND OTHER POEMS

CHADWICK
168.69 lei

China Business Model

Elisabeth Paulet
813.89 lei

Global Politics of Science and Technology - Vol. 1

Mariana Carpes
879.35 lei

Basic Problems in Methodology and Linguistics

Robert E. Butts
894.00 lei

Economics of American Judaism

Carmel U. Chiswick
372.14 lei

Equine Massage

Jean-Pierre Hourdebaigt
141.11 lei

How to Survive The End Of The World As We Know It

James Rawles
64.34 lei

Hatchet Job

Mark Kermode
85.15 lei

Pride and Prejudice and Zombies: Dawn of the Dreadfuls

Steve Hockensmith
57.47 lei

Transcendental Arguments and Justified Christian Belief

Ronney Mourad
322.74 lei

Baptists in Early North America: Volume 2

358.91 lei

What Might Have Been

Anonymous
155.86 lei

Clienții care au cumpărat această carte au mai cumpărat și

KINESIOTAPING EN MEDICINA ESTETICA

BELLIA
836.82 lei

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

Stéphanie Collomb
79.90 lei

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

Ulf-Wedig von der Osten
473.76 lei

Werbewirkungsanalyse Mit Expertensystemen

Bruno Neibecker
323.35 lei

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

101.82 lei

Knihkupec z Kábulu

Asne Seierstad
76.16 lei

scala degli idioti di Gurdjieff. I 21 gradini dell'evoluzione spirituale

Patrick Négrier
110.00 lei

Patrick Melrose: Nerieš to

Edward St. Aubyn
63.73 lei

Bonnets et chapeaux au crochet

Armani
98.48 lei

Los Compas escapan de la prisión (nueva presentación)

EL TROLLINO Y TIMBA VK MIKECRACK
96.76 lei

I Medici Ed Il Diritto Romano (1904)

Roberto Bozzoni
229.50 lei

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

David Lagercrantz
36.15 lei

Tres semanas de mal dormir

José María Merino
97.37 lei

Premieres Lectures d'Economie Rurale: Les Cultures Et Les Betes

MEHEUST-P
88.18 lei

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

Marquet-J
144.95 lei

Fuhrungspersoenlichkeiten in kreativwirtschaftlichen Betrieben. Diversitat und Komplexitat der kreativen Fuhrung

Kurt Arbter
334.06 lei

Cooperatio ad malum

Christian Oppermann
206.57 lei

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

""
67.98 lei

Witches - Hexenzirkel

Pia Hepke
57.47 lei

Ernährungsratgeber Demenz

Miriam Schaufler
105.76 lei

Schönrich, G: Zeichenhandeln

Gerhard Schönrich
155.05 lei