-
9-Logic Suite
The dataset consists of 9 elementary logic function synthesis tasks that were originally used by Lenski et al. to demonstrate that complex tasks are sometimes easier to solve in... -
Design Space Exploration as Quantified Satisfaction
The dataset used in this paper is a set of Boolean functions and their topologies.
