Publication Details
Towards a General Boolean Function Benchmark Suite
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT)
Husa Jakub, Ing. (DCSY FIT BUT)
Vermetten Diederick (Leiden University)
Ye Furong (Leiden University)
Thomas Bäck (Leiden University)
Benchmarking, Boolean function learning, Genetic Programming
Just over a decade ago, the first comprehensive review on the state of benchmarking in Genetic Programming (GP) analyzed the mismatch between the problems that are used to test the performance of GP systems and real-world problems. Since then, several benchmark suites in major GP problem domains have been proposed over time, which were able to fill some of the major gaps. In the framework of the first review about the state of benchmarking in GP, logic synthesis was classified as one of the major GP problem domains. However, a diverse and accessible benchmark suite for logic synthesis is still missing in the field of GP. In this work, we take a first step towards a benchmark suite for logic synthesis that covers different types of Boolean functions that are commonly used for the evaluation of GP systems. We also present baseline results that have been obtained by former work and in our evaluation experiments by using Cartesian Genetic Programming.
@INPROCEEDINGS{FITPUB12962,
author = "Roman Kalkreuth and Zden\v{e}k Va\v{s}\'{i}\v{c}ek and Jakub Husa and Diederick Vermetten and Furong Ye and B{\"{a}}ck Thomas",
title = "Towards a General Boolean Function Benchmark Suite",
pages = "591--594",
booktitle = "GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion",
year = 2023,
location = "New York, US",
publisher = "Association for Computing Machinery",
ISBN = "979-8-4007-0120-7",
doi = "10.1145/3583133.3590685",
language = "english",
url = "https://www.fit.vut.cz/research/publication/12962"
}