Expressiveness of Generic Process Shape Types. - Jan Jakubuv; J. B. Wells (TGC, 2010)

Generic process shape types and the Poly* system - Jan Jakubuv (2010)

Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines. - Jan Tozicka; Jan Jakubuv; Antonín Komenda (ECAI, 2014)

Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions. - Jan Tozicka; Jan Jakubuv; Karel Durkota; Antonín Komenda; Michal Pechoucek (ICAART (1), 2014)

From Public Plans to Global Solutions in Multiagent Planning. - Jan Tozicka; Jan Jakubuv; Antonín Komenda (EUMAS/AT, 2015)

Multiagent Planning by Plan Set Intersection and Plan Verification. - Jan Jakubuv; Jan Tozicka; Antonín Komenda (ICAART (2), 2015)

Using Process Calculi for Plan Verification in Multiagent Planning. - Jan Jakubuv; Jan Tozicka; Antonín Komenda (ICAART (Revised Selected Papers), 2015)

Extensibility Based Multiagent Planner with Plan Diversity Metrics. - Jan Tozicka; Jan Jakubuv; Karel Durkota; Antonín Komenda (Trans. Comput. Collect. Intell., 2015)

Recursive Polynomial Reductions for Classical Planning. - Jan Tozicka; Jan Jakubuv; Martin Svatos; Antonín Komenda (ICAPS, 2016)

Recursive Reductions of Internal Dependencies in Multiagent Planning. - Jan Tozicka; Jan Jakubuv; Antonín Komenda (ICAART (2), 2016)

Extending E Prover with Similarity Based Clause Selection Strategies. - Jan Jakubuv; Josef Urban (CICM, 2016)

Privacy-concerned multiagent planning. - Jan Tozicka; Jan Jakubuv; Antonín Komenda; Michal Pechoucek (Knowl. Inf. Syst., 2016)

BliStrTune: hierarchical invention of theorem proving strategies. - Jan Jakubuv; Josef Urban (CPP, 2017)

Automated Invention of Strategies and Term Orderings for Vampire. - Jan Jakubuv; Martin Suda 001; Josef Urban (GCAI, 2017)

ENIGMA: Efficient Learning-Based Inference Guiding Machine. - Jan Jakubuv; Josef Urban (CICM, 2017)

Towards a Unified Ordering for Superposition-Based Automated Reasoning. - Jan Jakubuv; Cezary Kaliszyk (ICMS, 2018)

ProofWatch: Watchlist Guidance for Large Theories in E. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Stephan Schulz 001; Josef Urban (ITP, 2018)

ProofWatch Meets ENIGMA: First Experiments. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Josef Urban (LPAR (Workshop and Short Papers), 2018)

Enhancing ENIGMA Given Clause Guidance. - Jan Jakubuv; Josef Urban (CICM, 2018)

Hierarchical invention of theorem proving strategies. - Jan Jakubuv; Josef Urban (AI Commun., 2018)

Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning. - Jan Tozicka; Jan Jakubuv; Antonín Komenda (Trans. Comput. Collect. Intell., 2018)

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. - Karel Chvalovský; Jan Jakubuv; Martin Suda 001; Josef Urban (CADE, 2019)

Hammering Mizar by Learning Clause Guidance (Short Paper). - Jan Jakubuv; Josef Urban (ITP, 2019)

ENIGMAWatch: ProofWatch Meets ENIGMA. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Josef Urban (TABLEAUX, 2019)

Hammering Mizar by Learning Clause Guidance. - Jan Jakubuv; Josef Urban (CoRR, 2019)

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). - Jan Jakubuv; Karel Chvalovský; Miroslav Olsák; Bartosz Piotrowski; Martin Suda 001; Josef Urban (IJCAR (2), 2020)

First Neural Conjecturing Datasets and Experiments. - Josef Urban; Jan Jakubuv (CICM, 2020)

Relaxed Weighted Path Order in Theorem Proving. - Jan Jakubuv; Cezary Kaliszyk (Math. Comput. Sci., 2020)

Fast and Slow Enigmas and Parental Guidance. - Zarathustra Amadeus Goertzel; Karel Chvalovský; Jan Jakubuv; Miroslav Olsák; Josef Urban (FroCoS, 2021)

Characteristic Subsets of SMT-LIB Benchmarks. - Jan Jakubuv; Mikolás Janota; Andrew Reynolds 001 (SMT, 2021)

Learning Theorem Proving Components. - Karel Chvalovský; Jan Jakubuv; Miroslav Olsák; Josef Urban (TABLEAUX, 2021)

The Isabelle ENIGMA. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Cezary Kaliszyk; Miroslav Olsák; Jelle Piepenbrock; Josef Urban (ITP, 2022)

Targeted Configuration of an SMT Solver. - Jan Hula; Jan Jakubuv; Mikolás Janota; Lukás Kubej (CICM, 2022)

MizAR 60 for Mizar 50. - Jan Jakubuv; Karel Chvalovský; Zarathustra Amadeus Goertzel; Cezary Kaliszyk; Mirek Olsák; Bartosz Piotrowski; Stephan Schulz 001; Martin Suda 001; Josef Urban (ITP, 2023)

VizAR: Visualization of Automated Reasoning Proofs (System Description). - Jan Jakubuv; Cezary Kaliszyk (CICM, 2023)

Selecting Quantifiers for Instantiation in SMT. - Jan Jakubuv; Mikolás Janota; Bartosz Piotrowski; Jelle Piepenbrock; Andrew Reynolds 001 (SMT, 2023)

Learning Guided Automated Reasoning: A Brief Survey. - Lasse Blaauwbroek; David M. Cerna; Thibault Gauthier; Jan Jakubuv; Cezary Kaliszyk; Martin Suda 001; Josef Urban (Logics and Type Systems in Theory and Practice, 2024)

Machine Learning for Quantifier Selection in cvc5. - Jan Jakubuv; Mikolás Janota; Jelle Piepenbrock; Josef Urban (ECAI, 2024)

Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. - Kristina Aleksandrova; Jan Jakubuv; Cezary Kaliszyk (LPAR, 2024)

First Experiments with Neural cvc5. - Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubuv (LPAR, 2024)

Solving Hard Mizar Problems with Instantiation and Strategy Invention. - Jan Jakubuv; Mikolás Janota; Josef Urban (CICM, 2024)

Automated Strategy Invention for Confluence of Term Rewrite Systems. - Liao Zhang; Fabian Mitterwallner; Jan Jakubuv; Cezary Kaliszyk (CoRR, 2024)

First Experiments with Neural cvc5. - Jelle Piepenbrock; Mikolás Janota; Jan Jakubuv (CoRR, 2025)