TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-030-80223-3
DO  - doi
AB  - 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.
T1  - Theory and applications of satisfiability testing -- SAT 2021 :24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
AU  - Li, Chu-Min,
AU  - Manyà, Felip,
VL  - 12831
CN  - QA76.9.A43
N1  - "Because of the COVID-19 pandemic, SAT 2021 followed a hybrid format, with both in-person and virtual participation options."--Preface
N1  - Includes author index.
ID  - 1437922
KW  - Computer algorithms
KW  - Computer software
KW  - Algorithmes
KW  - Logiciels
SN  - 9783030802233
SN  - 303080223X
TI  - Theory and applications of satisfiability testing -- SAT 2021 :24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-80223-3
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-80223-3
ER  -