Obserwuj
Iwo Błądek
Tytuł
Cytowane przez
Cytowane przez
Rok
On contiguous and non-contiguous parallel task scheduling
I Błądek, M Drozdowski, F Guinand, X Schepler
Journal of Scheduling 18 (5), 487-495, 2015
262015
Counterexample-driven genetic programming
K Krawiec, I Błądek, J Swan
Proceedings of the Genetic and Evolutionary Computation Conference, 953-960, 2017
122017
Counterexample-driven genetic programming: heuristic program synthesis from formal specifications
I Błądek, K Krawiec, J Swan
Evolutionary computation 26 (3), 441-469, 2018
112018
Evolutionary program sketching
I Błądek, K Krawiec
European Conference on Genetic Programming, 3-18, 2017
112017
Solving symbolic regression problems with formal constraints
I Błądek, K Krawiec
Proceedings of the Genetic and Evolutionary Computation Conference, 977-984, 2019
102019
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
72018
Counterexample-driven genetic programming: stochastic synthesis of provably correct programs
K Krawiec, I Błądek, J Swan, JH Drake
Proceedings of the 27th International Joint Conference on Artificial …, 2018
62018
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
32018
Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis
I Błądek
I recommend downloading the improved version from: https://www.cs.put.poznan …, 2022
2022
Automatyczna synteza programów w konwencjonalnych językach programowania
I Błądek
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–10