I've seen a lot of uses for SAT solvers, but what do you use them for in data sc... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jmalicki 2 days ago \| parent \| context \| favorite \| on: Statistical Process Control in Python I've seen a lot of uses for SAT solvers, but what do you use them for in data science? I can't find many references to people using them in that context.

srean 2 days ago [–]

Root causing from symptoms is one case where SAT or their ML analogue -- graphical models are quite useful.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact