Sciweavers

ICTAI
1999
IEEE

Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers

14 years 3 months ago
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
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)