TY  - RPRT
TI  - Runtime-coherence trade-offs for hybrid SAT-solvers
AU  - Vahideh Eshaghian
AU  - Sören Wilkening
AU  - Johan Åberg
AU  - David Gross
PY  - 2024
UR  - https://arxiv.org/abs/2404.15235
ID  - 2404.15235
ER  -