Verwandte Artikel zu The Satisfiability Problem: Algorithms and Analyses:...

The Satisfiability Problem: Algorithms and Analyses: 3 (Mathematik fur Anwendungen) - Softcover

 
9783865415271: The Satisfiability Problem: Algorithms and Analyses: 3 (Mathematik fur Anwendungen)
  • VerlagLehmanns Fachbuchhandlung GmbH
  • Erscheinungsdatum2013
  • ISBN 10 386541527X
  • ISBN 13 9783865415271
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten184
  • Kontakt zum HerstellerNicht verfügbar

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für The Satisfiability Problem: Algorithms and Analyses:...

Foto des Verkäufers

Schöning, Uwe|Torán, Jacobo
Verlag: Lehmanns Media, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Neu Softcover

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: 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. Artikel-Nr. 26267881

Verkäufer kontaktieren

Neu kaufen

EUR 20,78
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Uwe Schöning
ISBN 10: 386541527X ISBN 13: 9783865415271
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: 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. Artikel-Nr. 9783865415271

Verkäufer kontaktieren

Neu kaufen

EUR 19,95
Währung umrechnen
Versand: EUR 2,90
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Uwe Schoening
ISBN 10: 386541527X ISBN 13: 9783865415271
Neu PAP

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. DB-9783865415271

Verkäufer kontaktieren

Neu kaufen

EUR 23,69
Währung umrechnen
Versand: EUR 4,60
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

The Satisfiability Problem; Schöning, Uwe; Torán, Jacobo
Verlag: Lehmanns Media, 2013
ISBN 10: 386541527X ISBN 13: 9783865415271
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 184 pages. 9.41x6.77x0.55 inches. In Stock. Artikel-Nr. __386541527X

Verkäufer kontaktieren

Neu kaufen

EUR 26,64
Währung umrechnen
Versand: EUR 11,87
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb