Genetic Programming for Program Synthesis Problems with Logical Constraints















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






Tutorial length

1 hour







Tutorial level