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

Zhe Wu, Benjamin W. Wah. Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. In AAAI/IAAI. pages 673-678, 1999.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.