Backjumping for quantified Boolean logic satisfiability
Giunchiglia, E ; Narizzano, M ; Tacchella, A ; - ASI Sponsor
Jan - 2003

journal : Artificial Intelligence
type: Article Journal

Abstract

keywords :