Rozhodovací procedury a verifikace – NAIL094
Úkol č.4 – CDCL
Rozšiřte řešič z úkolu 2 o učení se nových klauzulí. Změřte, jestli učení se vašemu řešiči prospívá. Porovnejte počet rozhodnutí i celkový čas běhu algoritmu s učením a bez učení. S učením se skuste pohrát, můžete skusit učit se víc klauzulí z jednoho konfliktu, nebo naopak některé klazule sa neučit. Taky se dá skusit minimalizovat velikost naučené klauzule. Naměřte statistiky a napište o tom krátkou zprávu.
Opět použijte benchmarky z této stránky.
Deadline: 20.5.2018 23:59
Hodnocení: Za úkol můžete získat až 10 bodů za základní učení. Dále až 3 bonusové body za další implementované varianty. Hodnotí se funkčnost kódu a taky správa s naměřenými statistikami.