Automated Generation of Branching Rules
- Speaker
- Kangyi Tian
- Affiliation
- Undergraduate student in University of Electronic Science and Technology of China
- Date
- Time
- – Asia/Shanghai
- Venue
- B1-518B, Research Building 4
Abstract
This talk is about Automated Generation of Branching Rules, which helps avoid tedious case distinctions in the design of parameterized algorithms using branching methods. In this talk, we will introduce the general framework of this technique on graph modification problems. Also, to show the strengths and instructions for application of this technique , we will mention some new results about it. At last, some insights of this method in parameterized algorithm designing will be provided.
Schedule
- 16:20-17:20 (Time in Beijing)
- 21:20-22:20 (Time in Auckland)
- March 25, 2022 (Friday)