Francesco Lo Sterzo

icon company @NaturalCycles icon location Geneva

Results 3 issues of Francesco Lo Sterzo

include penalties in SAT problem

Hello! After going through the two modellings of the SAT problem in chapter 12 (in version 1.0.9 of the book), I was wondering if it was possible to do a...

discussion on ex 9.1

Hello! DISCLAIMER: this is not an "issue", rather a discussion about ex 9.1 (as there is no "correct" solution) [of course feel free to close the issue if it's inappropriate,...

Question(s) about exercises in chapter 4

1 comment

Hello! I have some problems with the exercises from chapter 4: I found a solution for ex. 4.1 ([here it is](https://github.com/francescolosterzo/ThinkBayes2/blob/ex_ch4/notebooks/unreliable.ipynb)), but it doesn't match exactly the actual solution, and...