A solver for quantified Boolean and linear constraints.

Lucas Bordeaux, Lintao Zhang

Browse the full SAC paper archive.