Image de couverture de livre

Extended Resolution Clause Learning via Dual Implication Points

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Buss, Sam, Chung, Jonathan, Ganesh, Vijay, Oliveras, Albert
Format:	Preprint
Publié:	2024
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

Regular resolution effectively simulates resolution
par: Buss, Sam, et autres
Publié: (2024)

Testing for Renamability to Classes of Clause Sets
par: Brandl, Albert, et autres
Publié: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

Partial Quantifier Elimination By Certificate Clauses
par: Goldberg, Eugene
Publié: (2020)

Rethinking Clause Management for CDCL SAT Solvers
par: Cai, Yalun, et autres
Publié: (2026)

Equational Theorem Proving for Clauses over Strings
par: Kim, Dohan
Publié: (2023)

Disjoint Partial Enumeration without Blocking Clauses
par: Spallitta, Giuseppe, et autres
Publié: (2023)

Property Directed Reachability with Extended Resolution
par: Luka, Andrew, et autres
Publié: (2025)

CTL* Verification and Synthesis using Existential Horn Clauses
par: Carelli, Mishel, et autres
Publié: (2024)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
par: Zhang, Shimin, et autres
Publié: (2026)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
par: Spallitta, Giuseppe, et autres
Publié: (2024)

Hard Clique Formulas for Resolution
par: Atserias, Albert
Publié: (2026)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Proofdoors and Efficiency of CDCL Solvers
par: Singh, Sunidhi, et autres
Publié: (2026)

Efficient Neural Clause-Selection Reinforcement
par: Suda, Martin
Publié: (2025)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
par: Katsura, Hiroyuki, et autres
Publié: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
par: De Angelis, Emanuele, et autres
Publié: (2024)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
par: Li, Zhengyu, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
par: González-Castillo, Samuel, et autres
Publié: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Groupoidal Realizability for Intensional Type Theory
par: Speight, Sam
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

RLSF: Fine-tuning LLMs via Symbolic Feedback
par: Jha, Piyush, et autres
Publié: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

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

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
par: Somorjai, Márk, et autres
Publié: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
par: Li, Zhengyu, et autres
Publié: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

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

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
par: Nechesov, Andrey
Publié: (2024)