Ključne besede: genetski algoritem, izpolnljivost izjavnih funkcij, evolucija, šibka selekcijaCelotno besedilo (datoteka, 2,53 MB)