Image de couverture de livre

Lazy Reimplication in Chronological Backtracking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Coutelier, Robin, Fleury, Mathias, Kovács, Laura
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Term Ordering Diagrams
par: Hajdu, Márton, et autres
Publié: (2025)

SAT-Based Subsumption Resolution
par: Coutelier, Robin, et autres
Publié: (2024)

SAT Solving for Variants of First-Order Subsumption
par: Coutelier, Robin, et autres
Publié: (2024)

Backtrackable Inprocessing
par: Nadel, Alexander
Publié: (2026)

Life span of SAT techniques
par: Fleury, Mathias, et autres
Publié: (2024)

The Vampire Diary
par: Bártek, Filip, et autres
Publié: (2025)

A Study Of Sudoku Solving Algorithms: Backtracking and Heuristic
par: Bhattarai, Apekshya, et autres
Publié: (2025)

Positive Almost-Sure Termination of Polynomial Random Walks
par: Winkler, Lorenz, et autres
Publié: (2025)

A Lazy, Concurrent Convertibility Checker
par: Courant, Nathanaëlle, et autres
Publié: (2025)

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
par: Szekeres, Dániel, et autres
Publié: (2024)

Partial Redundancy in Saturation
par: Hajdu, Márton, et autres
Publié: (2025)

Rewriting and Inductive Reasoning
par: Hajdu, Márton, et autres
Publié: (2024)

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Constraint Learning for Non-confluent Proof Search
par: Rawson, Michael, et autres
Publié: (2026)

Spanning Matrices via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2024)

A Curiously Effective Backtracking Strategy for Connection Tableaux
par: Färber, Michael
Publié: (2021)

Certificate-Aware Property-Directed Reachability
par: Ferdowsi, Arman, et autres
Publié: (2026)

On Solving String Equations via Powers and Parikh Images
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Program Synthesis in Saturation
par: Hozzová, Petra, et autres
Publié: (2024)

Saturating Sorting without Sorts
par: Georgiou, Pamina, et autres
Publié: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
par: Hajdu, Márton, et autres
Publié: (2026)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
par: Jagadeesan, Radha
Publié: (2024)

Can Transformers Learn to Verify During Backtracking Search?
par: Phua, Yin Jun, et autres
Publié: (2026)

Getting Saturated with Induction
par: Hajdu, Márton, et autres
Publié: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
par: Rath, Jakob, et autres
Publié: (2024)

Lean on Vampire Proofs (Short Paper)
par: Bodingbauer, Jonas, et autres
Publié: (2026)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
par: Hader, Thomas, et autres
Publié: (2024)

Linear Loop Synthesis for Quadratic Invariants
par: Hitarth, S., et autres
Publié: (2023)

Synthesis Benchmarks for Automated Reasoning
par: Hajdu, Márton, et autres
Publié: (2025)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
par: Jeanteur, Simon, et autres
Publié: (2023)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Scaling CheckMate for Game-Theoretic Security
par: Rain, Sophie, et autres
Publié: (2024)

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
par: King, Daragh, et autres
Publié: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

Effect Algebras as Omega-categories
par: Perticone, Lorenzo, et autres
Publié: (2023)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
par: Preiner, Mathias, et autres
Publié: (2026)

Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)

Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Compositional Reversible Computation
par: Carette, Jacques, et autres
Publié: (2024)