Backjumping for Quantified Boolean Logic Satisfiability (2001)

Cached

Download Links

by Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella
Venue:ARTIFICIAL INTELLIGENCE
Citations:76 - 4 self