Backjumping for quantified boolean logic satisfiability (2001)

by Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Venue:In Proceedings of IJCAI