| Original language | English (US) |
|---|---|
| Publisher | Dept. of Computer Science, University of Southern California |
| State | Published - Feb 1981 |
Publication series
| Name | Technical Report |
|---|
On almost satisfiability
Richard Hull, S. Rao Kosaraju, Chee Yap
Research output: Book/Report › Other report