-
Design Space Exploration as Quantified Satisfaction
The dataset used in this paper is a set of Boolean functions and their topologies. -
Synthetic dataset for pedestrian bridge design
Synthetic dataset for pedestrian bridge design, generated using Latin Hypercube Sampling and performance simulators.