Login / Signup
Tereza Schwarzová
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Search Algorithm
Cellular Automata
Learning Effect
Top Venues
SAT
</>
Publications
</>
Tereza Schwarzová
,
Jan Strejcek
,
Juraj Major
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.
SAT
(2023)