Satisfiability Problem

Idioma: inglés

Editorial: American Mathematical Society, US, 1997

0821804790 / 9780821804797

Librería: Rarewaves.com USA, London, London, Reino UnidoRarewaves.com USA

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2025

Tapa dura

Condición: Nuevo

EUR 254,10

 Gastos de envío gratis 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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. …

N° de ref. del artículo LU-9780821804797

Título
Satisfiability Problem
Autor
Ding-Zhu Du
Editorial
American Mathematical Society, US
Año de publicación
1997
Estado
New
Encuadernación
Hardback
Idioma
inglés
ISBN 10
0821804790
ISBN 13
9780821804797
Peso del artículo
1503 gramos

Rarewaves.com USA

London, London, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2025

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 12 a 17 días hábilesDe 12 a 17 días hábiles
Primer artículoEUR 0,00EUR 0,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Información empresarial del vendedor

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Reino Unido W1W 8BE