probabilistic-graph-benchmarks

This repository contains probabilistic graphs that I use to benchmark projected weighted model counters and other probabilistic reasonning tools. You can find in the graphs directory all the source data-set from which I create the instances; if you use any of these in your work please use the appropriate citations:

Gridkit

@article{medjroubiOpenDataPower2017,
  title = {Open Data in Power Grid Modelling: New Approaches towards Transparent Grid Models},
  author = {Medjroubi, Wided and M{\"u}ller, Ulf Philipp and Scharf, Malte and Matke, Carsten and Kleinhans, David},
  year = {2017},
  journal = {Energy Reports},
  publisher = {Elsevier}
}

@misc{wiegmansGridkitEuropeanNorthAmerican2016,
  title = {Gridkit: {{European And North-American Extracts}}},
  author = {Wiegmans, Bart},
  year = {2016},
  month = mar,
  publisher = {Zenodo},
  doi = {10.5281/ZENODO.47317},
  urldate = {2023-04-17},
  copyright = {Open Data Commons Open Database License 1.0, Open Access},
}