@article{cc7cbff5e3f449c6a32ff6a40d4d7c83,
title = "Preface",
author = "Meel, {Kuldeep S.} and Ofer Strichman",
note = "Funding Information: We gratefully thank the sponsors of SAT 2022: RenYing Technology, the Artificial Intelligence journal, CAS Merlin, and the SAT association for the financial and organizational support for SAT 2022. Thank you.; 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 ; Conference date: 02-08-2022 Through 05-08-2022",
year = "2022",
month = aug,
doi = "10.4230/LIPIcs.SAT.2022.0",
language = "الإنجليزيّة",
volume = "236",
journal = "Leibniz International Proceedings in Informatics, LIPIcs",
issn = "1868-8969",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
}