ICTAI
1999
IEEE
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
14 years 3 months ago
Zhe Wu, Benjamin W. Wah
Added |
03 Aug 2010 |
Updated |
03 Aug 2010 |
Type |
Conference |
Year |
1999 |
Where |
ICTAI |
Authors |
Zhe Wu, Benjamin W. Wah |
Comments (0)