Cover Image

Computing Witnesses Using the SCAN Algorithm

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Achammer, Fabian, Hetzl, Stefan, Schmidt, Renate A.
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
by: Achammer, Fabian, et al.
Published: (2025)

On the Completeness of Interpolation Algorithms
by: Hetzl, Stefan, et al.
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
by: Ježil, Ondřej, et al.
Published: (2026)

Subsystems of Open Induction
by: Hetzl, Stefan, et al.
Published: (2025)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Constructing Witnesses for Lower Bounds on Behavioural Distances
by: Turkenburg, Ruben, et al.
Published: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

Algorithmic Problems for Computation Trees
by: Moshkov, Mikhail
Published: (2025)

The SCAN Statistical Model Checker
by: Ghiorzi, Enrico, et al.
Published: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2025)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
by: Lenke, Fabian, et al.
Published: (2026)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Specification and Automatic Verification of Computational Reductions
by: Grange, Julien, et al.
Published: (2024)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
by: Ramprasath, S, et al.
Published: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
by: Huch, Fabian
Published: (2024)

Algorithms for Markov Binomial Chains
by: Gonzalez, Alejandro Alarcón, et al.
Published: (2024)

Mathematical Informatics: Algorithms
by: Seiller, Thomas
Published: (2026)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

Logics and Algorithms for Hyperproperties
by: Finkbeiner, Bernd
Published: (2025)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
by: Genco, Francesco A.
Published: (2024)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
by: Cate, Balder ten, et al.
Published: (2025)

Algorithmic Perspective on Toda's Theorem
by: Fried, Dror, et al.
Published: (2025)

Computation and Concurrency
by: Wang, Yong
Published: (2024)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
by: Genco, Francesco A.
Published: (2024)

On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
by: Lommen, Nils, et al.
Published: (2022)

Confluence of Logically Constrained Rewrite Systems Revisited
by: Schöpf, Jonas, et al.
Published: (2024)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
by: Ratschan, Stefan
Published: (2012)

Deciding Predicate Logical Theories of Real-Valued Functions
by: Ratschan, Stefan
Published: (2023)

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
by: Jensen, Nicolaj Ø., et al.
Published: (2025)

Modular Counting CSP: Reductions and Algorithms
by: Kazeminia, Amirhossein, et al.
Published: (2025)