Backjumping for quantified Boolean logic satisfiability

Author(s)
Giunchiglia, E
Narizzano, M
Tacchella, A
ASI Sponsor
Date Issued
2003-01-01
URI
Journal
Artificial Intelligence
URL