Buchumschlag

Extending CDCL-based Model Enumeration with Weights

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Spallitta, Giuseppe, Vardi, Moshe Y.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computing Short SAT Implicants via Ising/QUBO Encodings
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
von: Zhang, Shimin, et al.
Veröffentlicht: (2026)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2024)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
von: Civini, Emanuele, et al.
Veröffentlicht: (2026)

On CNF Conversion for SAT and SMT Enumeration
von: Masina, Gabriele, et al.
Veröffentlicht: (2023)

Extending CDCL to disjunctions of parity equations
von: Beame, Paul, et al.
Veröffentlicht: (2026)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2025)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
von: Aminof, Benjamin, et al.
Veröffentlicht: (2024)

Proofdoors and Efficiency of CDCL Solvers
von: Singh, Sunidhi, et al.
Veröffentlicht: (2026)

Rethinking Clause Management for CDCL SAT Solvers
von: Cai, Yalun, et al.
Veröffentlicht: (2026)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
von: Zhang, Xindi, et al.
Veröffentlicht: (2024)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Multi-Property Synthesis
von: Weinhuber, Christoph, et al.
Veröffentlicht: (2026)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
von: Lin, Yi, et al.
Veröffentlicht: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
von: Lin, Yi, et al.
Veröffentlicht: (2025)

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2021)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

Fast Obligation Translation and Synthesis
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2026)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

On Enumerating Short Projected Models
von: Möhle, Sibylle, et al.
Veröffentlicht: (2021)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
von: Bino, Melki
Veröffentlicht: (2026)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, et al.
Veröffentlicht: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

Enumerating Independent Linear Inferences
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
von: Zhang, Zhiwei, et al.
Veröffentlicht: (2025)

From MBQI to Enumerative Instantiation and Back
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

Extending Action Logic with Omega Iteration
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
von: Lohrey, Markus, et al.
Veröffentlicht: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
von: Meng, Qiaolan, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)