TY  - RPRT
TI  - On Continuous Local BDD-Based Search for Hybrid SAT Solving
AU  - Anastasios Kyrillidis
AU  - Moshe Y. Vardi
AU  - Zhiwei Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2012.07983
ID  - 2012.07983
ER  -