Automated Reasoning : 12th International Joint Conference : IJCAR 2024 ; Nancy, France, July 3

Benzmüller, ChristophHeule, Marijn J.H.Schmidt, Renate A.2024-07-102024-07-102024978-3-031-63498-7978-3-031-63497-0978-3-031-63499-4https://fis.uni-bamberg.de/handle/uniba/96329engAutomated Reasoning : 12th International Joint Conference : IJCAR 2024 ; Nancy, France, July 3–6, 2024 ; Proceedingsbook10.1007/978-3-031-63498-7