ERD

Lazy Reimplication in Chronological Backtracking

Project: ARTIST

Updated at: 28-08-2024

Show more information

Project acronym ARTIST

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Induction in Saturation

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Reducibility Constraints in Superposition

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Scaling CheckMate for Game-Theoretic Security

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Positivity Problems for Reversible Linear Recurrence Sequences

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Synthesis of Recursive Programs in Saturation

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Saturating Sorting without Sorts

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Rewriting and Inductive Reasoning

Project: ARTIST

Updated at: 13-08-2024

Show more information

Project acronym ARTIST

Embedding the Connection Calculus in Satisfiability Modulo Theories

Project: ARTIST

Updated at: 30-04-2024

Show more information

Project acronym ARTIST

On Positivity and Minimality for Second-Order Holonomic Sequences

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Satisfiability Modulo Custom Theories in Z3

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Automating Induction by Reflection

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

User-Propagators for Custom Theories in SMT Solving

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

An SMT Approach for Solving Polynomials over Finite Fields

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Moment-Based Loop Analysis

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Automated Generation of Exam Sheets for Automated Deduction

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Lonely Points in Simplices

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

SMT Solving over Finite Field Arithmetic

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Deductive Controller Synthesis for Probabilistic Hyperproperties

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

User propagators for satisfiability modulo custom theories

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Exact Inference for Probabilistic Loops

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Data Management Plan

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Non-Linear Reasoning in the Superposition Calculus

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Solving Invariant Generation for Unsolvable Loops

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Distribution Estimation for Probabilistic Loops

Project: ARTIST

Updated at: 27-04-2024

Show more information

Project acronym ARTIST

Resources

Selected filters:

Lazy Reimplication in Chronological Backtracking

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)

Induction in Saturation

Reducibility Constraints in Superposition

Scaling CheckMate for Game-Theoretic Security

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters

Positivity Problems for Reversible Linear Recurrence Sequences

Synthesis of Recursive Programs in Saturation

Saturating Sorting without Sorts

Rewriting and Inductive Reasoning

Embedding the Connection Calculus in Satisfiability Modulo Theories

On Positivity and Minimality for Second-Order Holonomic Sequences

Satisfiability Modulo Custom Theories in Z3

Automating Induction by Reflection

User-Propagators for Custom Theories in SMT Solving

An SMT Approach for Solving Polynomials over Finite Fields

Moment-Based Loop Analysis

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

Automated Generation of Exam Sheets for Automated Deduction

Lonely Points in Simplices

SMT Solving over Finite Field Arithmetic

Deductive Controller Synthesis for Probabilistic Hyperproperties

User propagators for satisfiability modulo custom theories

Exact Inference for Probabilistic Loops

Data Management Plan

Non-Linear Reasoning in the Superposition Calculus

Solving Invariant Generation for Unsolvable Loops

Distribution Estimation for Probabilistic Loops