Branching Rules for Satisfiabiblity.
| Year of publication: |
1994
|
|---|---|
| Authors: | Hooker, J.N. ; Vinay, V. |
| Institutions: | Carnegie Mellon University, Tepper School of Business |
| Subject: | computers | algorithms |
| Series: | |
|---|---|
| Type of publication: | Book / Working Paper |
| Notes: | 23 pages |
| Source: |
Persistent link: https://www.econbiz.de/10005070190