:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Pommellet, Adrien, Stan, Daniel, Scatton, Simon
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2402.06366
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
di: Shi, Zhengyuan, et al.
Pubblicazione: (2024)

Dsat: A Native SAT Solver for Discrete Logic
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

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

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

Orthologic for SAT Solving
di: de Haldat, Vladislas, et al.
Pubblicazione: (2026)

Solving SAT By Computing A Stable Set Of Points In Clusters
di: Goldberg, Eugene
Pubblicazione: (2025)

Computing Short SAT Implicants via Ising/QUBO Encodings
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2026)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

RustSAT: A Library For SAT Solving in Rust
di: Jabs, Christoph
Pubblicazione: (2025)

A SAT-centered XAI method for Deep Learning based Video Understanding
di: Key, Hojer
Pubblicazione: (2025)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Can Transformers Reason Logically? A Study in SAT Solving
di: Pan, Leyan, et al.
Pubblicazione: (2024)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Life span of SAT techniques
di: Fleury, Mathias, et al.
Pubblicazione: (2024)

Logic-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

A Reduction of Input/Output Logics to SAT
di: Steen, Alexander
Pubblicazione: (2025)

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

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Rethinking Clause Management for CDCL SAT Solvers
di: Cai, Yalun, et al.
Pubblicazione: (2026)

Compact SAT Encoding for Power Peak Minimization
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2025)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

On the Computational Content of Moduli of Regularity and their Logical Strength
di: Kohlenbach, Ulrich
Pubblicazione: (2026)

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

Orbitopal Fixing in SAT
di: Anders, Markus, et al.
Pubblicazione: (2026)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Learning to Rank the Initial Branching Order of SAT Solvers
di: Eriksson, Arvid, et al.
Pubblicazione: (2026)