ResearchTrend.AI
On Continuous Local BDD-Based Search for Hybrid SAT Solving
v1v2 (latest)

On Continuous Local BDD-Based Search for Hybrid SAT Solving

Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
ArXiv (abs)PDFHTML

Papers citing "On Continuous Local BDD-Based Search for Hybrid SAT Solving"

3 / 3 papers shown
Title
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang
Samy Wu Fung
Anastasios Kyrillidis
Stanley Osher
Moshe Y. Vardi
14
0
0
31 May 2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
Yunuo Cen
Zhiwei Zhang
Xuanyao Fong
49
3
0
29 Aug 2023
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
15
3
0
08 May 2022