DMCA

Using Problem Structure for Efficient Clause Learning (2003)

by Ashish Sabharwal , Paul Beame , Henry Kautz
Venue:In Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing
Citations:14 - 4 self