官方服务：
资源简介：
These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2024.
应用场景：
创建时间：
2025-03-27
相关数据集
Distributed SAT Competition 2005 Industrial Track Benchmarks
These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitt
NIAID Data Ecosystem20
Above-canopy precipitation measurements at Hartheim Forest Research Site (DE-Har) from 2005-01-01 to 2005-12-31 [L2]
Quality controlled and gap-filled continuous precipitation measurements above the forest canopy at Hartheim Forest Research Site (ICOS Associate Ecosystem Site DE-Har, UFR Code: HARTHM, 7.59814ºE, 47.
Zenodo2025-11-21 更新20
Above-canopy solar irradiance measurements at Hartheim Forest Research Site (DE-Har) from 2021-01-01 to 2021-12-31 [L2]
Quality controlled and gap-filled continuous solar irradiance measurements at 29.5 m above ground level measured on a tower above the forest canopy at Hartheim Forest Research Site (ICOS Associate Eco
Zenodo2025-12-07 更新10
Above-canopy precipitation measurements at Hartheim Forest Research Site (DE-Har) from 2008-01-01 to 2008-12-31 [L2]
Quality controlled and gap-filled continuous precipitation measurements above the forest canopy at Hartheim Forest Research Site (ICOS Associate Ecosystem Site DE-Har, UFR Code: HARTHM, 7.59814ºE, 47.
Zenodo2025-02-28 更新20
Solar irradiance measurements from Automatic Weather Station (AWS) at Freiburg – Chemiehochhaus (FRCHEM) from 2019-01-01 to 2019-12-31 [L2]
Quality controlled and gap-filled continuous solar irradiance measurements from the urban rooftop weather station at Freiburg-Chemiehochhaus (FRCHEM, 7.8486ºE, 48.0011ºN, 323.5 m) operated 2 m above r
Zenodo2026-03-12 更新20
