Collection
Selected Extended Papers of IJCAR 2022
This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 11th Joint Conference on Automated Reasoning (IJCAR 2022), held from August 8 to August 10, 2022 in Haifa, Israel, as part of the Federated Logic Conference (FLoC) 2022. IJCAR is the premier international joint conference on all topics in automated reasoning and merges three leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), and TABLEAUX (Conference on Analytic Tableaux and Related Methods).
Editors
-
Jasmin Blanchette
Vrije Universiteit Amsterdam, The Netherlands
-
Laura Kovács
Vienna University of Technology, Austria
-
Dirk Pattinson
The Australian National University, Australia
Articles (6 in this collection)
-
-
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences
Authors (first, second and last of 10)
-
-
-
-
