Design Space Exploration as Quantified Satisfaction

The dataset used in this paper is a set of Boolean functions and their topologies.

Data and Resources

Cite this as

Alexander Feldman, Johan de Kleer, Ion Matei (2025). Dataset: Design Space Exploration as Quantified Satisfaction. https://doi.org/10.57702/z7a7dlit

DOI retrieved: January 3, 2025

Additional Info

Field Value
Created January 3, 2025
Last update January 3, 2025
Defined In https://doi.org/10.48550/arXiv.1905.02303
Author Alexander Feldman
More Authors
Johan de Kleer
Ion Matei