LIPIcs,第271卷
2023年SAT,2023年7月4日至8日,意大利阿尔盖罗
编辑:Meena Mahajan和Friedrich Slivovsky
LIPIcs,第236卷
2022年8月2日至5日,以色列海法SAT 2022
编辑:Kuldeep S.Meel和Ofer Strichman
Dagstuhl出版社反馈