Howe, J. M. & King, A. (2011). A Pearl on SAT Solving in Prolog (extended abstract). ALP Newsletter(3),
| Publication Type: | Article |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology > Computer Science |
|
Text (Extended Abstract)
- Accepted Version
Download (109kB) | Preview |
Official URL: http://www.cs.nmsu.edu/ALP/2011/03/a-pearl-on-sat-...
Export
Downloads
Downloads per month over past year
Metadata
Metadata