TY  - RPRT
TI  - Online Search Cost Estimation for SAT Solvers
AU  - Shai Haim
AU  - Toby Walsh
PY  - 2009
UR  - https://arxiv.org/abs/0907.5033
ID  - 0907.5033
ER  -