Local search for quantified Boolean formulas. - N. Hristov; Anja Remshagen (ACM Southeast Regional Conference (1), 2005)