Jakub Bulín is an author at Charles University specializing in automated reasoning, graph theory, and formal methods.
Top concepts
EngineeringGraph TheoryFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityMathematical ProgrammingCombinatorial OptimizationSatisfiabilityFormal Verification
Publications per year
2015–2021
3
3
Algebraic Approach to Promise Constraint Satisfaction
Libor Barto, Jakub Bulín, Andrei Krokhin et al. · Journal of the ACM · 2021 · 72 citations · Full text
Rows per page
1–3 of 3