Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2012.07983
Cited By
v1
v2 (latest)
On Continuous Local BDD-Based Search for Hybrid SAT Solving
AAAI Conference on Artificial Intelligence (AAAI), 2020
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"
4 / 4 papers shown
FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
Yunuo Cen
Zixuan Wang
Jintao Zhang
Zhiwei Zhang
Xuanyao Fong
137
0
0
06 Oct 2025
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang
Samy Wu Fung
Anastasios Kyrillidis
Stanley Osher
Moshe Y. Vardi
152
2
0
31 May 2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
AAAI Conference on Artificial Intelligence (AAAI), 2023
Yunuo Cen
Zhiwei Zhang
Xuanyao Fong
161
7
0
29 Aug 2023
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Anastasios Kyrillidis
Moshe Y. Vardi
Zhiwei Zhang
146
3
0
08 May 2022
1
Page 1 of 1
