• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 117 matches

• 2024
• 
  Nahiyan Alamgir, Saeed Nejati, Curtis Bright:
  SHA-256 Collision Attack with Programmatic SAT. PAAR+SC²@IJCAR 2024: 91-110
• 
  Bruno Andreotti, Haniel Barbosa, Oliver Flatt:
  Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract). PAAR+SC²@IJCAR 2024: 1-9
• 
  Guy Axelrod, Willem Conradie:
  Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. PAAR+SC²@IJCAR 2024: 10-27
• 
  Filip Bártek, Karel Chvalovský, Martin Suda:
  Cautious Specialization of Strategy Schedules (Extended Abstract). PAAR+SC²@IJCAR 2024: 28-36
• 
  Chad E. Brown, Mikolas Janota, Mirek Olsák:
  Symbolic Computation for All the Fun. PAAR+SC²@IJCAR 2024: 111-121
• 
  Julie Cailler, Simon Guilloud:
  SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus. PAAR+SC²@IJCAR 2024: 37-56
• 
  Adam Dingle:
  A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress). PAAR+SC²@IJCAR 2024: 57-73
• 
  Zoltán Kovács, Reinhard Oldenburg:
  A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. PAAR+SC²@IJCAR 2024: 122-131
• 
  Valentin Promies, Jasper Nalbach, Erika Ábrahám:
  Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR 2024: 132-136
• 
  Alexander Steen, Geoff Sutcliffe:
  TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR 2024: 74-90
• 
  Christopher W. Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda:
  Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024. CEUR Workshop Proceedings 3717, CEUR-WS.org 2024 [contents]
• 2022
• 
  Stephan Schulz:
  Empirical Properties of Term Orderings for Superposition. PAAR@IJCAR 2022
• 
  Maria Paola Bonacina, Sarah Winkler:
  On SGGS and Horn Clauses. PAAR@IJCAR 2022
• 
  Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach:
  A Two-Watched Literal Scheme for First-Order Logic. PAAR@IJCAR 2022
• 
  Martin Bromberger, Simon Schwarz, Christoph Weidenbach:
  Exploring Partial Models with SCL. PAAR@IJCAR 2022
• 
  Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov:
  The Vampire Approach to Induction (short paper). PAAR@IJCAR 2022
• 
  Maximilian Heisinger, Martina Seidl, Armin Biere:
  QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. PAAR@IJCAR 2022
• 
  Fabian Huch, Vincent Bode:
  The Isabelle Community Benchmark. PAAR@IJCAR 2022
• 
  Chencheng Liang, Philipp Rümmer, Marc Brockschmidt:
  Exploring Representation of Horn clauses using GNNs. PAAR@IJCAR 2022
• 
  Grzegorz Prusak, Cezary Kaliszyk:
  Lazy Paramodulation in Practice. PAAR@IJCAR 2022
• 
  Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger:
  Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR 2022
• 
  Hans-Jörg Schurr:
  Optimal Strategy Schedules for Everyone. PAAR@IJCAR 2022
• 
  Alexander Steen:
  An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper). PAAR@IJCAR 2022
• 
  Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
  Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR 2022
• 
  Christoph Wernhard:
  Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. PAAR@IJCAR 2022
• 
  Boris Konev, Claudia Schon, Alexander Steen:
  Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. CEUR Workshop Proceedings 3201, CEUR-WS.org 2022 [contents]
• 2020
• 
  Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
  New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR 2020: 178-188
• 
  Pedro Barroso, Mário Pereira, António Ravara:
  Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR 2020: 1-20
• 
  Filip Bártek, Martin Suda:
  Learning Precedences from Simple Symbol Features. PAAR+SC²@IJCAR 2020: 21-33
• 
  Bernhard Gleiss, Martin Suda:
  Layered Clause Selection for Saturation-Based Theorem Proving. PAAR+SC²@IJCAR 2020: 34-52

skipping 87 more matches