IJCAR (1)

Keyphrases

Publications

2020

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Politeness for the Theory of Algebraic Datatypes. IJCAR (1) (2020)
Yiming Xu, Michael Norrish
Mechanised Modal Model Theory. IJCAR (1) (2020)
Peter Baumgartner
Possible Models Computation and Revision - A Practical Approach. IJCAR (1) (2020)
Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) (2020)
Liron Cohen, Reuben N. S. Rowe
Integrating Induction and Coinduction via Closure Operators and Proof Cycles. IJCAR (1) (2020)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) (2020)
Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) (2020)
Franz Baader, Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) (2020)
Ahmed Bhayat, Giles Reger
A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) (2020)
Leroy Chew, Judith Clymo
How QBF Expansion Makes Strategy Extraction Hard. IJCAR (1) (2020)
Maria Paola Bonacina, Sarah Winkler
SGGS Decision Procedures. IJCAR (1) (2020)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) (2020)
Ahmed Bhayat, Giles Reger
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) (2020)
Bernhard Gleiss, Laura Kovács, Jakob Rath
Subsumption Demodulation in First-Order Theorem Proving. IJCAR (1) (2020)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
The Resolution of Keller's Conjecture. IJCAR (1) (2020)
Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli
Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. IJCAR (1) (2020)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) (2020)
Franz Baader, Deepak Kapur
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) (2020)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. IJCAR (1) (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Soft Subexponentials and Multiplexing. IJCAR (1) (2020)
Daniel Hausmann, Lutz Schröder
NP Reasoning in the Monotone μ-Calculus. IJCAR (1) (2020)
Timm Lampert, Anderson Nakano
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates. IJCAR (1) (2020)
Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
A Decision Procedure for String to Code Point Conversion. IJCAR (1) (2020)
Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) (2020)
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) (2020)
Lee A. Barnett, David M. Cerna, Armin Biere
Covered Clauses Are Not Propagation Redundant. IJCAR (1) (2020)
Brandon Bohrer, André Platzer
Constructive Hybrid Games. IJCAR (1) (2020)
Ruzica Piskac
Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. IJCAR (1) (2020)
Bernhard Gleiss, Martin Suda
Layered Clause Selection for Theory Reasoning - (Short Paper). IJCAR (1) (2020)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combined Covers and Beth Definability. IJCAR (1) (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)