An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems (2000)

Cached

Download Links

by Zhe Wu , Benjamin W. Wah
Venue:IN PROCEEDINGS AAAI-00
Citations:37 - 1 self