Sökning: "Yves Deville"

Hittade 1 avhandling innehållade orden Yves Deville.

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

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

   Sammanfattning : 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. LÄS MER