:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Buss, Sam, Chung, Jonathan, Ganesh, Vijay, Oliveras, Albert
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2406.14190
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Regular resolution effectively simulates resolution
por: Buss, Sam, et al.
Publicado: (2024)

Testing for Renamability to Classes of Clause Sets
por: Brandl, Albert, et al.
Publicado: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
por: Li, Chunxiao, et al.
Publicado: (2024)

Partial Quantifier Elimination By Certificate Clauses
por: Goldberg, Eugene
Publicado: (2020)

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

Equational Theorem Proving for Clauses over Strings
por: Kim, Dohan
Publicado: (2023)

Disjoint Partial Enumeration without Blocking Clauses
por: Spallitta, Giuseppe, et al.
Publicado: (2023)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
por: Zhang, Shimin, et al.
Publicado: (2026)

CTL* Verification and Synthesis using Existential Horn Clauses
por: Carelli, Mishel, et al.
Publicado: (2024)

Property Directed Reachability with Extended Resolution
por: Luka, Andrew, et al.
Publicado: (2025)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
por: Spallitta, Giuseppe, et al.
Publicado: (2024)

Proofdoors and Efficiency of CDCL Solvers
por: Singh, Sunidhi, et al.
Publicado: (2026)

PICID: Proof-Driven Clause Learning in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

Hard Clique Formulas for Resolution
por: Atserias, Albert
Publicado: (2026)

Efficient Neural Clause-Selection Reinforcement
por: Suda, Martin
Publicado: (2025)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
por: Li, Zhengyu, et al.
Publicado: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
por: Jha, Piyush, et al.
Publicado: (2024)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
por: González-Castillo, Samuel, et al.
Publicado: (2026)

Extended multi-adjoint logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

Extending Action Logic with Omega Iteration
por: Pshenitsyn, Tikhon
Publicado: (2025)

Redundancy rules for MaxSAT
por: Bonacina, Ilario, et al.
Publicado: (2025)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
por: Li, Zhengyu, et al.
Publicado: (2026)

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

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

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
por: Somorjai, Márk, et al.
Publicado: (2024)

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

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
por: Kettmann, Pascal, et al.
Publicado: (2026)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
por: Atserias, Albert, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

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

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
por: Dobos-Kovács, Mihály, et al.
Publicado: (2025)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

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

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
por: de Groot, Jim, et al.
Publicado: (2021)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
por: Lichter, Moritz
Publicado: (2022)