SERÉDI, Silvester. Evoluční algoritmy v úloze booleovské splnitelnosti. Online, Diplomová práce, vedoucí Lukáš Sekanina. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů, 2013. Dostupné z: http://hdl.handle.net/11012/53467. [cit. 2025-04-14].