News for hackers. Stuff that matters.

A comment on Automated Reasoning at Amazon: A Conversation. Parent comment

Re:Automated Reasoning at Amazon: A Conversation by brutusborn on Tuesday August 09, 2022 @01:42AM (#32394556)
What is the link to the drosophila model?

Apologies if it's obvious, I just started looking at SAT solvers so I'm relatively ignorant on the area.

[ Parent | on HN ]
Re:Automated Reasoning at Amazon: A Conversation by mxwsn on Tuesday August 09, 2022 @02:49PM (#32402223)
I loosely mean how drosophila in biology is a relatively simple yet representative model that is easy to study that yields some insights about other systems.
[ Parent | on HN ]