Theory and Applications of Satisfiability Testing – SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
1st ed. 2021
Book Details
Delivery Location
Delivery fee: Select location
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.
Get Theory and Applications of Satisfiability Testing – SAT 2021 by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
