Projects search

• Keywords: automatic program synthesis ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn…

   Principal investigator: Iwo Piotr Błądek

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Call: PRELUDIUM 15, Panel: ST6

2. 2. Automatic synthesis of mathematical programming models for business processes

   Principal investigator: dr Tomasz Pawlak

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Call: SONATA 12, Panel: ST6

3. 3. Synthesis via active learning: theory and applications

   Principal investigator: dr hab. Jan Otop

   Uniwersytet Wrocławski

   Call: OPUS 27, Panel: ST6