ERD

Incremental Solving with Vampire

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

An Inference Rule for the Acyclicity Property of Term Algebras

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Local proofs and AVATAR

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Layered Clause Selection for Theory Reasoning - (Short Paper)

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Summing up Smart Transitions

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automated Generation of Exam Sheets for Automated Deduction

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Subsumption Demodulation in First-Order Theorem Proving

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Induction in Saturation-Based Proof Search

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Algebra-based loop reasoning - invariant generation and synthesis for numeric loops

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automating Termination Analysis of Probabilistic Programs

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

The Probabilistic Termination Tool Amber

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automating Induction by Reflection

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Trace Logic for Inductive Loop Reasoning

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automated Termination Analysis of Polynomial Probabilistic Programs

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Induction with Recursive Definitions in Superposition

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Layered Clause Selection for Saturation-based Theorem Proving

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Periodic Reporting for period 4 - SYMCAR (Symbolic Computation and Automated Reasoning for Program Analysis)

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

A Theory of Satisfiability-Preserving Proofs in SAT Solving

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

A FOOLish Encoding of the Next State Relations of Imperative Programs

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Superposition with Datatypes and Codatatypes

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Local Soundness for QBF Calculi

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Loop Analysis by Quantification over Iterations

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Towards Smarter MACE-style Model Finders

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Blocked Clauses in First-Order Logic

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Testing a Saturation-Based Theorem Prover: Experiences and Challenges

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Finding Finite Models in Multi-sorted First-Order Logic

Project: SYMCAR

Updated at: 27-04-2024

Show more information

Project acronym SYMCAR

Resources

Selected filters:

Incremental Solving with Vampire

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

An Inference Rule for the Acyclicity Property of Term Algebras

Local proofs and AVATAR

Layered Clause Selection for Theory Reasoning - (Short Paper)

Summing up Smart Transitions

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

Automated Generation of Exam Sheets for Automated Deduction

Subsumption Demodulation in First-Order Theorem Proving

Induction in Saturation-Based Proof Search

Algebra-based loop reasoning - invariant generation and synthesis for numeric loops

Automating Termination Analysis of Probabilistic Programs

The Probabilistic Termination Tool Amber

Automating Induction by Reflection

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

Trace Logic for Inductive Loop Reasoning

Automated Termination Analysis of Polynomial Probabilistic Programs

Induction with Recursive Definitions in Superposition

Layered Clause Selection for Saturation-based Theorem Proving

Periodic Reporting for period 4 - SYMCAR (Symbolic Computation and Automated Reasoning for Program Analysis)

A Theory of Satisfiability-Preserving Proofs in SAT Solving

A FOOLish Encoding of the Next State Relations of Imperative Programs

Superposition with Datatypes and Codatatypes

Local Soundness for QBF Calculi

Loop Analysis by Quantification over Iterations

Towards Smarter MACE-style Model Finders

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences

Blocked Clauses in First-Order Logic

Testing a Saturation-Based Theorem Prover: Experiences and Challenges

Finding Finite Models in Multi-sorted First-Order Logic