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.