Splitting without Backtracking (2001)

by A Riazanov, A Voronkov
Venue:In Proc. of IJCAI