Verifying Logic Circuits by Benders Decomposition.
| Year of publication: |
1991
|
|---|---|
| Authors: | Boros, E. ; Hong, Y. |
| Institutions: | Carnegie Mellon University, Tepper School of Business |
| Subject: | mathematics | decision making | computer programmes |
| Series: | |
|---|---|
| Type of publication: | Book / Working Paper |
| Notes: | 32 pages |
| Source: |
Persistent link: https://www.econbiz.de/10005073629