Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Theoretical Computer Science and General Issues) - Tapa blanda

9783030802226: Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030802221 ISBN 13: 9783030802226

Editorial: Springer, 2021

Ver todas las copias de esta edici�n del ISBN

This book constitutes the proceedings of the 24^th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.

The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2021
Idioma: Ingl�s
ISBN 10: 3030802221
ISBN 13: 9783030802226
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 576
Editor: Li Chu-Min, Many� Felip
Contacto del fabricante: no disponible

Comprar nuevo

Ver este art�culo

EUR 101,04

Convertir moneda

EUR 19,49 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Theory and Applications of Satisfiability Testing –...

Imagen del vendedor

Theory and Applications of Satisfiability Testing - SAT 2021

Publicado por Springer, Berlin|Springer International Publishing|Springer, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed. N� de ref. del art�culo: 476475200

Contactar al vendedor

Comprar nuevo

EUR 101,04

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Theory and Applications of Satisfiability Testing � SAT 2021

Felip Many�

Publicado por Springer International Publishing Jul 2021, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning. 576 pp. Englisch. N� de ref. del art�culo: 9783030802226

Contactar al vendedor

Comprar nuevo

EUR 117,69

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Theory and Applications of Satisfiability Testing � SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Felip Many�

Publicado por Springer International Publishing, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning. N� de ref. del art�culo: 9783030802226

Contactar al vendedor

Comprar nuevo

EUR 117,69

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783030802226_new

Contactar al vendedor

Comprar nuevo

EUR 128,93

Convertir moneda

Gastos de env�o: EUR 5,20

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9783030802226

Contactar al vendedor

Comprar nuevo

EUR 136,39

Convertir moneda

Gastos de env�o: EUR 6,79

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Theory and Applications of Satisfiability Testing - SAT 2021

Felip Many�

Publicado por Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch. N� de ref. del art�culo: 9783030802226

Contactar al vendedor