Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
Are there any good digraph width measures?
Better algorithms for satisfiability problems for formulas of bounded rank-width
Efficient Loop Navigation for Symbolic Execution
Lower Bounds on the Complexity of MSO1 Model-Checking
Qualitative Reachability in Stochastic BPA Games
No associations
LandOfFree
Jan Obdržálek does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jan Obdržálek, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan Obdržálek will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-14886