Login / Signup

Backjumping for Quantified Boolean Logic satisfiability.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: Artif. Intell. (2003)
Keyphrases