Satisfiability Problem

Sprache: Englisch

Verlag: American Mathematical Society, US, 1997

0821804790 / 9780821804797

Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Hardcover

Zustand: Neu

EUR 242,57

EUR 76,48 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study.Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms. It features: a comprehensive review of SAT research work over the past 25 years; the most recent research results; and a spectrum of algorithmic issues and applications. …

Bestandsnummer des Verkäufers LU-9780821804797

Titel
Satisfiability Problem
Autor
Ding-Zhu Du
Verlag
American Mathematical Society, US
Erscheinungsjahr
1997
Zustand
New
Einband
Hardback
Sprache
Englisch
ISBN-10
0821804790
ISBN-13
9780821804797
Artikelgewicht
1.503 Gramm

Rarewaves.com UK

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 76,48EUR 117,67
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE