| Title | Using Problem Structure for Efficient Clause Learning |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Sabharwal A, Beame P, Kautz H |
| Conference Name | Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003) |
| Pagination | 159–166 |
| Citation Key | sbk:learnsat |
