Computer Science – Data Structures and Algorithms
Scientist
Computer Science
Data Structures and Algorithms
Scientist
Algorithms for finding dispensable variables
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
How to Complete an Interactive Configuration Process?
QBF-Based Boolean Function Bi-Decomposition
No associations
LandOfFree
Mikolas Janota does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Mikolas Janota, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mikolas Janota will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-182674