Jun He: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Uppsala University, Sweden 2013