Solving the Incremental Satisfiability Problem.
| Year of publication: |
1991
|
|---|---|
| Authors: | Hooker, N.J. |
| Institutions: | Carnegie Mellon University, Tepper School of Business |
| Subject: | mathematics | economic models |
| Series: | |
|---|---|
| Type of publication: | Book / Working Paper |
| Notes: | 16 pages |
| Source: |
Persistent link: https://www.econbiz.de/10005073574