DMCA

Captain Jack: New Variable Selection Heuristics in Local Search for SAT

by Dave A. D. Tompkins , Adrian Balint , Holger H. Hoos
Citations:15 - 3 self