Backjumping for Quantified Boolean Logic Satisfiability (2001)

by Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella
Venue:ARTIFICIAL INTELLIGENCE
Citations:81 - 6 self