Lib.rs

施兰达尔斯是一种最先进的 投影加权模型计数器，专门用于对离散概率分布进行概率推理。目前已知可建模以下问题

• 计算贝叶斯网络中变量的边缘概率
• 计算概率图中两个节点连接的概率
• 计算 ProbLog 程序的概率

有关如何使用施兰达尔斯及其机制的更多信息，请参阅 文档（仍在建设中）。您可以使用以下 bibtex 条目引用施兰达尔斯

@InProceedings{schlandals
  author =	{Dubray, Alexandre and Schaus, Pierre and Nijssen, Siegfried},
  title =	{{Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses}},
  booktitle =	{29th International Conference on Principles and Practice of Constraint Programming (CP 2023)},
  year =	{2023},
  doi =		{10.4230/LIPIcs.CP.2023.15},
}

如果您使用基于 LDS 的近似，您还可以引用

@InProceedings{schlandals_anytime_approximation
  author =	{Dubray, Alexandre and Schaus, Pierre and Nijssen, Siegfried},
  title =	{{Anytime Weighted Model Counting With Approximation Guarantees For Probabilistic Inference}},
  booktitle =	{30th International Conference on Principles and Practice of Constraint Programming (CP 2024)},
  year =	{2024},
}