Describir: Generovanie a riešenie riedkych Booleovských rovníc