Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems

DBLP:conf/aaai/WuW99 + redirect page

Has publishing details pp. 673-678, 1999

Has title Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai99.html#WuW99

Has where published AAAI/IAAI

Has year 1999

Has author Zhe Wu +, Benjamin W. Wah +

Has identifier Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems +

Categories Proceeding Paper +