Search for dissertations about: "Yves Deville"

Found 1 swedish dissertation containing the words Yves Deville.

2. 1. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search

   Author : Jun He; Pierre Flener; Justin Pearson; Yves Deville; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; regular constraint; automaton constraint; context-free grammar constraint; solution neighbourhood; counter automaton; Datavetenskap; Computer Science;

   Abstract : This thesis focuses on constraints for membership in formal languages under both the systematic search and stochastic local search approaches to constraint programming (CP). Such constraints are very useful in CP for the following three reasons: They provide a powerful tool for user-level extensibility of CP languages. READ MORE