Concepedia

Jan Jakubův

JJ

Statistics

Publications

6

Citations

100

H-Index

6

Active since

2014

Affiliations

Czech Technical University in Prague(Current)

Jan Jakubův is an author at Czech Technical University in Prague specializing in automated reasoning, deductive verification, and theorem proving.

Publications per year

2014–2019

6

Publications

6

Hammering Mizar by Learning Clause Guidance

Jan Jakubův, Josef Urban · arXiv (Cornell University) · 2019 · 21 citations · Full text

Computing, Computer Science, Algorithms +13

BliStrTune: hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban · 2016 · 17 citations

Computing, Computer Science, Algorithms +15

Hammering Mizar by Learning Clause Guidance (Short Paper)

Jan Jakubův, Josef Urban · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 17 citations · Full text

Computing, Computer Science, Algorithms +13

Validation of an Air-Traffic Controller behavioral model for fast time simulation

Přemysl Volf, Jan Jakubův, Lukáš Koranda et al. · 2014 · 16 citations

Engineering, Aerospace Engineering, Systems Engineering +17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban · AI Communications · 2018 · 15 citations

Computing, Computer Science, Algorithms +12

1–5 of 6