A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems
| Year of publication: |
1998
|
|---|---|
| Authors: | Shang, Yi |
| Published in: |
Journal of global optimization : an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering. - Dordrecht [u.a.] : Springer, ISSN 0925-5001, ZDB-ID 1074566x. - Vol. 12.1998, 1, p. 61-100
|