DMCA

Backjump-based techniques versus conflict-directed heuristics (2004)

Cached

Download Links

by Christophe Lecoutre , Frédéric Boussemart , Fred Hemery
Venue:In Proceedings of ICTAI’04
Citations:33 - 11 self