Towards a General Boolean Function Benchmark Suite

Před více než deseti lety byl v prvním souhrnném přehledu o stavu benchmarkingu v genetickém programování (GP) analyzován nesoulad mezi problémy, které se používají k testování výkonnosti systémů GP, a problémy reálného světa. Od té doby bylo v průběhu času navrženo několik sad benchmarků v hlavních problémových doménách GP, které dokázaly zaplnit některé z hlavních mezer. V rámci prvního přehledu o stavu benchmarkingu v GP byla logická syntéza zařazena mezi hlavní problémové domény GP. V oblasti GP však stále chybí rozmanitá a dostupná sada benchmarků pro logickou syntézu. V této práci jsme učinili první krok k vytvoření sady benchmarků pro logickou syntézu, která pokrývá různé typy booleovských funkcí, které se běžně používají pro hodnocení systémů GP. Uvádíme také základní výsledky, které byly získány v dřívějších pracích a v našich vyhodnocovacích experimentech pomocí kartézského genetického programování.