TY  - RPRT
TI  - Variable-Selection Heuristics in Local Search for SAT
AU  - Fukunaga, A.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20060041703
ID  - 20060041703
ER  -