A two-phase algorithm for solving a class of hard satisfiability problems
| Year of publication: |
1998
|
|---|---|
| Authors: | Warners, Joost P. ; van Maaren, Hans |
| Published in: |
Operations research letters. - Amsterdam [u.a.] : Elsevier, ISSN 0167-6377, ZDB-ID 7207359. - Vol. 23.1998, 3, p. 81-88
|