Librería: medimops, Berlin, Alemania
EUR 15,29
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Librería: medimops, Berlin, Alemania
EUR 16,05
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Idioma: Inglés
Publicado por Lehmanns Fachbuchhandlung GmbH, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 26,00
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Lehmanns Fachbuchhandlung GmbH, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 23,03
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
EUR 21,39
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 23,63
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 26,67
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 184 pages. 9.41x6.77x0.55 inches. In Stock.
Idioma: Inglés
Publicado por Lehmanns Media Gmbh Jul 2013, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 19,95
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a 'solution', in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on 'physical' principles are considered. 184 pp. Englisch.
EUR 23,02
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
EUR 24,52
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 20,78
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean.
Idioma: Inglés
Publicado por Lehmanns Media Gmbh Jul 2013, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 19,95
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a 'solution', in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on 'physical' principles are considered.Lehmanns Media GmbH, Helmholtzstraße 2-9, 10587 Berlin 184 pp. Englisch.
Idioma: Inglés
Publicado por Lehmanns Media Gmbh Jul 2013, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 19,95
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a 'solution', in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on 'physical' principles are considered.
EUR 20,35
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. The Satisfiability Problem | Algorithms and Analyses | Uwe Schöning (u. a.) | Taschenbuch | Mathematik für Anwendungen | 184 S. | Englisch | 2013 | Lehmanns Media GmbH | EAN 9783865415271 | Verantwortliche Person für die EU: Lehmanns Media GmbH, Volker Thurner, Helmholtzstr. 2-9, 10587 Berlin, verlag[at]lehmanns[dot]de | Anbieter: preigu.