IJCAR (1)

Keyphrases

Publications

2024

Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) (2024)
Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic. IJCAR (1) (2024)
Geoff Sutcliffe
Stepping Stones in the TPTP World. IJCAR (1) (2024)
Jan Heuer, Christoph Wernhard
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic. IJCAR (1) (2024)
Filip Bártek, Karel Chvalovský, Martin Suda
Regularization in Spider-Style Strategy Discovery and Schedule Construction. IJCAR (1) (2024)
Adrien Pommellet, Daniel Stan, Simon Scatton
SAT-Based Learning of Computation Tree Logic. IJCAR (1) (2024)
Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
Induction in Saturation. IJCAR (1) (2024)
Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) (2024)
Silvio Ghilardi, Lia M. Poidomani
Model Completeness for Rational Trees. IJCAR (1) (2024)
Florian Frohn, Jürgen Giesl
Satisfiability Modulo Exponential Integer Arithmetic. IJCAR (1) (2024)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Synthesis of Recursive Programs in Saturation. IJCAR (1) (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid
An Empirical Assessment of Progress in Automated Theorem Proving. IJCAR (1) (2024)
Uwe Waldmann
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus. IJCAR (1) (2024)
Jeremy Avigad
Automated Reasoning for Mathematics. IJCAR (1) (2024)
Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach
First-Order Automatic Literal Model Generation. IJCAR (1) (2024)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
Reducibility Constraints in Superposition. IJCAR (1) (2024)
Rui Ge, Ronald Garcia, Alexander J. Summers
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. IJCAR (1) (2024)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Booleguru, the Propositional Polyglot (Short Paper). IJCAR (1) (2024)
Ahmed Bhayat, Martin Suda
A Higher-Order Vampire (Short Paper). IJCAR (1) (2024)
Peter Lammich
Fast and Verified UNSAT Certificate Checking. IJCAR (1) (2024)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. IJCAR (1) (2024)
Nils Lommen, Éléanore Meyer, Jürgen Giesl
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper). IJCAR (1) (2024)
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). IJCAR (1) (2024)
Samuel Chassot, Viktor Kuncak
Verifying a Realistic Mutable Hash Table - Case Study (Short Paper). IJCAR (1) (2024)
Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli
Generalized Optimization Modulo Theories. IJCAR (1) (2024)
Adrian De Lon
The Naproche-ZF Theorem Prover (Short Paper). IJCAR (1) (2024)

volume 14739, 2024

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I IJCAR (1) 14739 (2024)

2020

volume 12166, 2020

Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I IJCAR (1) 12166 (2020)