Cover Image

Backtrackable Inprocessing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nadel, Alexander
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

Lazy Reimplication in Chronological Backtracking
by: Coutelier, Robin, et al.
Published: (2025)

A Study Of Sudoku Solving Algorithms: Backtracking and Heuristic
by: Bhattarai, Apekshya, et al.
Published: (2025)

A Curiously Effective Backtracking Strategy for Connection Tableaux
by: Färber, Michael
Published: (2021)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

Decidability of MSO Reparameterization over Countable Chains
by: Rabinovich, Alexander
Published: (2026)

Non-negative Rational Semantic Numeration Systems
by: Chunikhin, Alexander
Published: (2026)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
by: Chunikhin, Alexander Yu.
Published: (2024)

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
by: Baumgartner, Alexander, et al.
Published: (2025)

The Church Synthesis Problem over Continuous Time
by: Rabinovich, Alexander, et al.
Published: (2024)

Synthesis of Infinite State Systems
by: Drucker, Ohad, et al.
Published: (2025)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)