CODE & PUBLICATIONS

CONFERENCE PAPERS

WORKSHOP PAPERS

EXTENDED ABSTRACTS

  • Jeroen G. Rook, Anna L. D. Latour, Holger H. Hoos, and Siegfried Nijssen. Caching in Model Counters: A journey through Space and Time (extended abstract). Workshop on Counting and Sampling 2021, in conjunction with SAT 2020. [pdf][slides][video]
  • Anna L. D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger H. Hoos, and Siegfried Nijssen. Stochastic Constraint Optimisation with Applications in Network Analysis (extended abstract). Workshop on Model Counting 2020 (MCW 2020), in conjunction with SAT 2020. [pdf][slides]
  • Jeroen G. Rook, Anna L. D. Latour, Holger H. Hoos, and Siegfried Nijssen. Better Caching for Better Model Counting. Workshop on Model Counting 2020 (MCW 2020), in conjunction with SAT 2020. [pdf][slides]
  • Anna Louise D. Latour, Behrouz Babaki, and Siegfried Nijssen. Stochastic Constraint Propagation for Mining Probabilistic Networks (extended abstract). Proceedings of the Reference AI & ML Conference for Belgium, Netherlands & Luxemburg, BNAIC/BENELEARN 2019. [pdf] [slides]

CODE

  • The implementation of our global propagation algorithm for stochastic constraints on monotonic probability distributions (SCMDs) can be found here. The configurable version created by Daniël Fokkinga is also available.
  • The implementation of SC-ProbLog can be found here (as a branch of the ProbLog repository).