Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2012.07983
Cited By
v1
v2 (latest)
On Continuous Local BDD-Based Search for Hybrid SAT Solving
14 December 2020
Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
Re-assign community
ArXiv (abs)
PDF
HTML
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
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
Yunuo Cen
Zhiwei Zhang
Xuanyao Fong
49
3
0
29 Aug 2023
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
15
3
0
08 May 2022
1
