Analysis and Representation of Clauses in Satisfiability of Constraints
Thu, 06/12/2008 - 11:50am
| Title | Analysis and Representation of Clauses in Satisfiability of Constraints |
| Publication Type | Report |
| Year of Publication | 2001 |
| Authors | Sprinkle, J., C. van Buskirk, and G. Karsai |
| Series Title | ISIS-01-205 |
| Date Published | August |
| Institution | Institute for Software Integrated Systems |
| Full Text |
| Attachment | Size |
|---|---|
| Sprinkle_JM_8_6_2001_Analysis_a.pdf | 171.11 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering