Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Xindi, Chen, Zhihan, Cai, Shaowei
Format:	Preprint
Veröffentlicht:	2024
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

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

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

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

Extending CDCL-based Model Enumeration with Weights
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

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

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

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

A Local Search Algorithm for MaxSMT(LIA)
von: He, Xiang, et al.
Veröffentlicht: (2024)

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

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

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
von: Li, Bohan, et al.
Veröffentlicht: (2024)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
von: Zhu, Shaowei, et al.
Veröffentlicht: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
von: Dong, Yibo, et al.
Veröffentlicht: (2024)

Unification in Matching Logic -- Revisited
von: Kurucz, Ádám, et al.
Veröffentlicht: (2024)

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Revisiting Stateful Partial-Order Reduction
von: Herbreteau, Frédéric, et al.
Veröffentlicht: (2024)

Revisiting the Fast Fourier Transform in Rocq
von: Théry, Laurent
Veröffentlicht: (2022)

Preservation Theorems in Semiring Semantics
von: Brinke, Sophie, et al.
Veröffentlicht: (2026)

Confluence of Logically Constrained Rewrite Systems Revisited
von: Schöpf, Jonas, et al.
Veröffentlicht: (2024)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

SCL(FOL) Revisited
von: Bromberger, Martin, et al.
Veröffentlicht: (2023)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
von: Leme, Renato, et al.
Veröffentlicht: (2025)

Temporal Team Semantics Revisited
von: Gutsfeld, Jens Oliver, et al.
Veröffentlicht: (2021)

Revisiting DRUP-based Interpolants with CaDiCaL 2.0
von: Khouri, Basel, et al.
Veröffentlicht: (2025)

Generalised Reachability Games Revisited
von: Bose, Sougata, et al.
Veröffentlicht: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
von: Bernardo, Marco, et al.
Veröffentlicht: (2025)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2024)

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement
von: Pan, Hongyang, et al.
Veröffentlicht: (2024)

Constraint Learning for Non-confluent Proof Search
von: Rawson, Michael, et al.
Veröffentlicht: (2026)

Verified and Optimized Implementation of Orthologic Proof Search
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."
von: Foughali, Mohammed Aristide
Veröffentlicht: (2026)

Breaking Symmetries in Quantified Graph Search: A Comparative Study
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2026)

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
von: Ambridge, Todd Waugh
Veröffentlicht: (2024)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
von: Lipparini, Enrico, et al.
Veröffentlicht: (2025)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
von: Lipparini, Enrico, et al.
Veröffentlicht: (2023)