splot
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/records/322478
下载链接
链接失效反馈官方服务：
资源简介：
The models below were generated automatically to support empirical studies on the performance and scalability of automated techniques for reasoning on feature models. In each generated model, each type of mandatory, optional, inclusive-OR and exclusive-OR feature was added with equal probability. The branching factor (number of children per parent node) of the feature tree varied from 1 to 6. The cross-tree constraints were generated as a single Random 3-CNF formula. More details about these kinds of generated feature models can be found in the section below about our feature model generator tool.
创建时间：
2020-01-24
