A Computational Stufy of Satisfiability Algorithms for Propositional Logic.
| Year of publication: |
1991
|
|---|---|
| Authors: | Hooker, J.N. ; harche, F. ; Thompson, G.L. |
| Institutions: | Carnegie Mellon University, Tepper School of Business |
| Subject: | mathematics |
| Series: | |
|---|---|
| Type of publication: | Book / Working Paper |
| Notes: | 37 pages |
| Source: |
Persistent link: https://www.econbiz.de/10005027609