DBLP:conf/aaai/WuW00 + redirect page
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems + Has identifier
| An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems |
Has publishing details
pp. 310-315, 2000
Has title
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2000.html#WuW00
Has where published
AAAI/IAAI
Has year
2000
Has author
Zhe Wu +, Benjamin W. Wah +
Has identifier
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems +
Categories Proceeding Paper +
|
