@article{1437922,
      note = {"Because of the COVID-19 pandemic, SAT 2021 followed a  hybrid format, with both in-person and virtual  participation options."--Preface},
      author = {Li, Chu-Min, and Manyà, Felip,},
      url = {http://library.usi.edu/record/1437922},
      title = {Theory and applications of satisfiability testing -- SAT  2021 : 24th International Conference, Barcelona, Spain,  July 5-9, 2021, Proceedings /. SAT (Conference)},
      abstract = {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.},
      doi = {https://doi.org/10.1007/978-3-030-80223-3},
      recid = {1437922},
      pages = {1 online resource (xi, 564 pages) :},
}