Taschenbuch. Condition: 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. Seller Inventory # 9783030802226

Contact seller

Buy New

� 102.53

Convert currency

Shipping: � 19.45

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Theory and Applications of Satisfiability Testing - SAT 2021

Published by Springer, Berlin|Springer International Publishing|Springer, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

New Kartoniert / Broschiert

Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars

Kartoniert / Broschiert. Condition: 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. Seller Inventory # 476475200

Contact seller

Buy New

� 88.03

Convert currency

Shipping: � 41.44

From Germany to U.S.A.

Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

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

Felip Many�

Published by Springer International Publishing, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: 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. Seller Inventory # 9783030802226

Contact seller