Local search for quantified Boolean formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

N. Hristov, Anja Remshagen. Local search for quantified Boolean formulas. In Mário Guimarães, editor, Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 1. pages 116-120, ACM, 2005. [doi]

This author has not been identified. Look up 'N. Hristov' in GoogleThis author has not been identified. Look up 'Anja Remshagen' in Google

runs on WebDSL