Backjumping for Quantified Boolean Logic Satisfiability.

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Browse the full IJCAI paper archive.