On contiguous and non-contiguous parallel task scheduling I Błądek, M Drozdowski, F Guinand, X Schepler Journal of Scheduling 18, 487-495, 2015 | 36 | 2015 |
Solving symbolic regression problems with formal constraints I Błądek, K Krawiec Proceedings of the Genetic and Evolutionary Computation Conference, 977-984, 2019 | 31 | 2019 |
Counterexample-driven genetic programming K Krawiec, I Błądek, J Swan Proceedings of the Genetic and Evolutionary Computation Conference, 953-960, 2017 | 19 | 2017 |
Counterexample-driven genetic programming: heuristic program synthesis from formal specifications I Błądek, K Krawiec, J Swan Evolutionary computation 26 (3), 441-469, 2018 | 15 | 2018 |
Evolutionary program sketching I Błądek, K Krawiec Genetic Programming: 20th European Conference, EuroGP 2017, Amsterdam, The …, 2017 | 14 | 2017 |
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs. K Krawiec, I Bladek, J Swan, JH Drake IJCAI, 5304-5308, 2018 | 8 | 2018 |
Neuro-guided genetic programming: prioritizing evolutionary search with neural networks P Liskowski, I Błądek, K Krawiec Proceedings of the Genetic and Evolutionary Computation Conference, 1143-1150, 2018 | 8 | 2018 |
Counterexample-driven genetic programming for symbolic regression with formal constraints I Błądek, K Krawiec IEEE Transactions on Evolutionary Computation 27 (5), 1327-1339, 2022 | 7 | 2022 |
Simultaneous synthesis of multiple functions using genetic programming with scaffolding I Bladek, K Krawiec Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016 | 6 | 2016 |
Mappism: formalizing classical and artificial life views on mind and consciousness I Bładek, M Komosinski, K Miazga Foundations of Computing and Decision Sciences 44 (1), 55-99, 2018 | 4 | 2018 |
Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis I Błądek | | 2022 |
Automatyczna synteza programów w konwencjonalnych językach programowania I Błądek | | |