A SAT-based solver for Q-ALL SAT. - Ben Browning; Anja Remshagen (ACM Southeast Regional Conference, 2006)