First Page | Document Content | |
---|---|---|
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability Anton Belov and Zbigniew Stachniak Department of Computer Science and Engineering, York University, Toronto, Canada {antonDocument is deleted from original location. Download Document from Web Archive |