Imagen de Portada

Two Optimizations on the Stålmarck Procedure

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Leonov, Sergei, Davis, Liam
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
por: Davis, Liam, et al.
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Efficient Decision Procedures for RNmatrix Semantics
por: Leme, Renato R., et al.
Publicado: (2026)

Incremental Neural Network Verification via Learned Conflicts
por: Elsaleh, Raya, et al.
Publicado: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
por: Amjad, Rayhana, et al.
Publicado: (2024)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
por: Demri, Stephane, et al.
Publicado: (2023)

Lattice Deduction Transformers
por: Davis, Liam, et al.
Publicado: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
por: Wang, Keyin, et al.
Publicado: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
por: Zhang, Cheng, et al.
Publicado: (2026)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

Traces via Strategies in Two-Player Games
por: Plummer, Benjamin, et al.
Publicado: (2025)

Two behavioural pseudometrics for continuous-time Markov processes
por: Chen, Linan, et al.
Publicado: (2025)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
por: Fiuk, Oskar, et al.
Publicado: (2025)

On Knowledge Compilation For Two-Variable First-Order Logic
por: Meng, Qiaolan, et al.
Publicado: (2026)

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

A Two-Watched Literal Scheme for First-Order Logic
por: Briefs, Yasmine, et al.
Publicado: (2026)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
por: Bednarczyk, Bartosz, et al.
Publicado: (2023)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
por: Athavale, Anagha, et al.
Publicado: (2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
por: Cristiá, Maximiliano, et al.
Publicado: (2021)

An ASP-based approach to Solving General Stochastic Two-Player Games
por: He, Yifan, et al.
Publicado: (2026)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
por: Cesco, Arnaldo, et al.
Publicado: (2021)

Generalized Optimization Modulo Theories
por: Tsiskaridze, Nestan, et al.
Publicado: (2024)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
por: Vialard, Isa
Publicado: (2025)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
por: Kieronski, Emanuel, et al.
Publicado: (2016)

Rational Inference in Formal Concept Analysis
por: Carr, Lucas, et al.
Publicado: (2025)

Disjunctions of Two Dependence Atoms
por: Fröhlich, Nicolas, et al.
Publicado: (2025)

Optimization Modulo Integer Linear-Exponential Programs
por: Hitarth, S, et al.
Publicado: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
por: Guilloud, Simon, et al.
Publicado: (2025)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
por: Pratt-Hartmann, Ian
Publicado: (2017)

Reasoning about Medical Triage Optimization with Logic Programming
por: Patil, Jaikrishna Manojkumar, et al.
Publicado: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
por: Tóth, Jan, et al.
Publicado: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
por: Oda, Yukihiro
Publicado: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

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

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
por: Hansen, Helle Hvid, et al.
Publicado: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)