Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Toggle navigation
Attending
Venue: Online
Registration
Program
APLAS Program
Your Program
Mon 30 Nov
Tue 1 Dec
Wed 2 Dec
Tracks
APLAS 2020
Keynote Talks
Posters
Reports
Research Papers
Organization
APLAS 2020 Committees
Organising Committee
Program Committee
Contributors
People Index
Search
Series
Series
APLAS & ATVA 2026
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2020
(
series
) /
Vojtěch Havlena
APLAS 2020 profile
conf.research.org general profile
APLAS 2019 profile
PLDI 2025 profile
PLDI 2026 profile
SPLASH 2023 profile
Not registered as user
Name:
Vojtěch Havlena
Affiliation:
Brno University of Technology
Contributions
2020
APLAS
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Show activities from other conferences
Share
APLAS 2020-profile
View general profile
x
Mon 15 Jun 19:59