Antonín Kucera

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 53

Top Topics

Satisfiability Problem

Markov Decision Process

Efficient Solutions

Top Venues

J. Comput. Syst. Sci.

Publications