Image de couverture de livre

DateSAT: A Framework for Solving Date and Period Constraints

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cui, Leyi, Tiwari, Shrey, Padhye, Rohan
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
par: Cristiá, Maximiliano, et autres
Publié: (2022)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
par: Bembenek, Aaron, et autres
Publié: (2026)

Equational Bit-Vector Solving via Strong Gröbner Bases
par: Song, Jiaxin, et autres
Publié: (2024)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
par: Shi, Zhengyuan, et autres
Publié: (2024)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
par: Fages, François
Publié: (2024)

Meaningfulness and Genericity in a Subsuming Framework
par: Kesner, Delia, et autres
Publié: (2024)

Proving Confluence in the Confluence Framework with CONFident
par: Gutiérrez, Raúl, et autres
Publié: (2023)

RustSAT: A Library For SAT Solving in Rust
par: Jabs, Christoph
Publié: (2025)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
par: Li, Runming, et autres
Publié: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
par: Chaudhuri, Kaustuv, et autres
Publié: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
par: Rustenholz, Louis, et autres
Publié: (2024)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
par: Chen, Yu-Fang, et autres
Publié: (2025)

A Unified Framework for Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2025)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

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

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

A feasible and unitary quantum programming language
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A Demonic Outcome Logic for Randomized Nondeterminism
par: Zilberstein, Noam, et autres
Publié: (2024)

A formalization of System I with type Top in Agda
par: Séttimo, Agustín, et autres
Publié: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
par: Wang, Keyin, et autres
Publié: (2026)

A uniform characterisation of the (a)synchronous must-preorder
par: Bernardi, Giovanni, et autres
Publié: (2026)

A programming language characterizing quantum polynomial time
par: Hainry, Emmanuel, et autres
Publié: (2022)

PolyQEnt: A Polynomial Quantified Entailment Solver
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
par: Webb, Brae J., et autres
Publié: (2021)

A Coq Library of Sets for Teaching Denotational Semantics
par: Cao, Qinxiang, et autres
Publié: (2024)

A beginner guide to Iris, Coq and separation logic
par: Dietrich, Elizabeth
Publié: (2021)

A Graded Modal Dependent Type Theory with Erasure, Formalized
par: Abel, Andreas, et autres
Publié: (2026)

A denotationally-based program logic for higher-order store
par: Aagaard, Frederik Lerbjerg, et autres
Publié: (2023)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
par: Chen, Zhibo, et autres
Publié: (2023)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
par: Coglio, Alessandro, et autres
Publié: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
par: Jin, Ziyue, et autres
Publié: (2025)

A Type System for Data Flow and Alias Analysis in ReScript
par: Lund, Nicky Ask, et autres
Publié: (2024)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
par: Vollmer, Victoria, et autres
Publié: (2024)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
par: Sulzmann, Martin
Publié: (2026)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
par: Ukhanov, Evgeny
Publié: (2025)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
par: Tang, Xichen
Publié: (2025)