Backjumping for quantified Boolean logic satisfiability
Giunchiglia, E ; Narizzano, M ; Tacchella, A ; - ASI Sponsor
Jan - 2003
journal : Artificial Intelligence
type: Article Journal
Abstract
keywords :