SFr. 27.90
€ 27.90
BTC 0.0035
LTC 0.224
ETH 0.0433


bestellen

Artikel-Nr. 17570878


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:




Autor(en): 
  • Uwe Schöning
  • Jacobo Torán
  • The Satisfiability Problem: Algorithms and Analyses 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!


    Übersicht
     
    Lieferstatus:   i.d.R. innert 4-7 Tagen versandfertig
    Veröffentlichung:  2013  
    Genre:  EDV / Informatik 
    ISBN:  9783865415271 
    EAN-Code: 
    9783865415271 
    Verlag:  Lehmanns Media GmbH 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 241 mm / B 171 mm / D 15 mm 
    Gewicht:  458 gr 
    Seiten:  184 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    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.

      
     Empfehlungen... 
     Formal methods: Turing machine, Set theory, Lambda - (Buch)
     Algorithms for the Satisfiability Problem - (Buch)
     Boolean algebra: Sigma-algebra, Boolean satisfiabi - (Buch)
     Logic in computer science: Peano axioms, Boolean s - (Buch)
     Multilevel Techniques for solving the Satisfiabili - (Buch)
     On the Complexity of the Satisfiability Problem - (Buch)
     On the Complexity of the Satisfiability Problem (C - (Buch)
     On the Complexity of the Satisfiability Problem (C - (Buch)
     Satisfiability Problem: Theory and Applications - (Buch)
     Tautology (logic): Propositional Formula, Boolean - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Google Plus-Page Google+ | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2018
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2018