| DaftarIsitemplate |
| Call Number |
| 005.133 Bee P |
| Title |
| The role of redundant clauses in solving satisfiability problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 873 |
| Author |
| Honglei Zeng; Sheila McIlraith; |
| Publisher |
| Springer, 2005 |
| Subject |
| Location |