Dataset Groups Activity Stream Design Space Exploration as Quantified Satisfaction The dataset used in this paper is a set of Boolean functions and their topologies. BibTex: @dataset{Alexander_Feldman_and_Johan_de_Kleer_and_Ion_Matei_2025, abstract = {The dataset used in this paper is a set of Boolean functions and their topologies.}, author = {Alexander Feldman and Johan de Kleer and Ion Matei}, doi = {10.57702/z7a7dlit}, institution = {No Organization}, keyword = {'Boolean circuits', 'Boolean functions', 'design space exploration', 'topology'}, month = {jan}, publisher = {TIB}, title = {Design Space Exploration as Quantified Satisfaction}, url = {https://service.tib.eu/ldmservice/dataset/design-space-exploration-as-quanti-ed-satisfaction}, year = {2025} }
