Follow
Iwo Błądek
Title
Cited by
Cited by
Year
On contiguous and non-contiguous parallel task scheduling
I Błądek, M Drozdowski, F Guinand, X Schepler
Journal of Scheduling 18, 487-495, 2015
322015
Solving symbolic regression problems with formal constraints
I Błądek, K Krawiec
Proceedings of the Genetic and Evolutionary Computation Conference, 977-984, 2019
292019
Counterexample-driven genetic programming
K Krawiec, I Błądek, J Swan
Proceedings of the Genetic and Evolutionary Computation Conference, 953-960, 2017
182017
Counterexample-driven genetic programming: heuristic program synthesis from formal specifications
I Błądek, K Krawiec, J Swan
Evolutionary computation 26 (3), 441-469, 2018
152018
Evolutionary program sketching
I Błądek, K Krawiec
Genetic Programming: 20th European Conference, EuroGP 2017, Amsterdam, The …, 2017
142017
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.
K Krawiec, I Bladek, J Swan, JH Drake
IJCAI, 5304-5308, 2018
72018
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
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
62016
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
52018
Counterexample-driven genetic programming for symbolic regression with formal constraints
I Błądek, K Krawiec
IEEE Transactions on Evolutionary Computation, 2022
22022
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
The system can't perform the operation now. Try again later.
Articles 1–12