MCW 2020: Stochastic Constraint Optimisation with Applications in Network Analysis
Date:
I presented our paper, Stochastic Constraint Optimisation with Applications in Network Analysis, at the inaugural (Workshop on Model Counting (MCW 2020))[https://mccompetition.org/2020/mcw_program.html], held online, in conjunction with the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020).