TY  - RPRT
TI  - Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
AU  - Anton Belov
AU  - Matti Järvisalo
PY  - 2011
UR  - https://arxiv.org/abs/1109.2049
ID  - 1109.2049
ER  -