|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Genetic
Programming for Program Synthesis Problems with Logical Constraints |
|
|||||
|
|
|
|
|
|
|
||
|
|
Abstract |
|
|
|
|
||
|
|
Automatic program synthesis is increasingly used
to support programmers in software development, enabling automatization
for users based on simple cues or examples, and in scientific discovery. One
of the alternatives to exact synthesis methods are heuristic algorithms,
particularly genetic programming. While these methods do not provide
guarantees of finding an optimal solution, in many instances they are able to
solve the synthesis task relatively quickly. In this talk, we will present
our research into using genetic programming for solving program synthesis
problems with logical constraints, which are known
to pose several challenges for search-based heuristic algorithms. Time&Place 2022.11.14
13:30, D2, 201/20 Zoom:
https://pwr-edu.zoom.us/j/91319492628?pwd=b1RNRkRwQkZaQ00ra0lLUnZBWGxBdz09 |
|
|||||
|
|
Tutorial
length |
1 hour |
|
|
|
|
|
|
|
Tutorial
level |
introductory |
|
|
|
|
|
|
|
Download |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
