Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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.
Possibly Related PublicationsThe following publications are possibly variants of this publication: An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability ProblemsZhe Wu, Benjamin W. Wah. AAAI 2000: 310-315 Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability ProblemsBenjamin W. Wah, Zhe Wu. jcst, 20(1):3-17, 2005. [doi] A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability ProblemsYi Shang, Benjamin W. Wah. jgo, 12(1):61-99, 1998. [doi] A discrete Lagrangian-based global-search method for solving satisfiability problemsBenjamin Wan-Sang Wah, Yi Shang. dimacs 1997: 365-392 Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange MultipliersZhe Wu, Benjamin W. Wah. ictai 1999: 210-217 [doi]
The following publications are possibly variants of this publication: