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