TY - JOUR
T1 - Preface
AU - Meel, Kuldeep S.
AU - Strichman, Ofer
N1 - 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.
PY - 2022/8
Y1 - 2022/8
UR - http://www.scopus.com/inward/record.url?scp=85136113312&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.SAT.2022.0
DO - 10.4230/LIPIcs.SAT.2022.0
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???
AN - SCOPUS:85136113312
SN - 1868-8969
VL - 236
JO - Leibniz International Proceedings in Informatics, LIPIcs
JF - Leibniz International Proceedings in Informatics, LIPIcs
T2 - 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022
Y2 - 2 August 2022 through 5 August 2022
ER -