Radio and PodcastRadio and PodcastLive Radio & Podcasts
#11: Checkmate in Nine artwork
Technology

#11: Checkmate in Nine

My FLoC Experience by Chris Patuzzo

Jul 9, 201800:07:12Technology

A last minute change of mind to learn about quantifiable boolean formulae.

Related Episodes

Continue listening to more episodes from My FLoC Experience.

#18: Reflections

Jul 15, 2018 - 00:06:51

My last day at FLoC, with an awards ceremony and some final thoughts.

#17: Group Photo

Jul 14, 2018 - 00:06:45

More flavours of SAT, a group photo and a business meeting.

#16: Coffee

Jul 14, 2018 - 00:04:15

This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.

#14: Proof Systems

Jul 12, 2018 - 00:04:55

Proof systems aren't as complicated as they sound.

#12: SAT Conference

Jul 12, 2018 - 00:06:21

The first day of the the international SAT conference.

#10: The Inside Scoop

Jul 8, 2018 - 00:09:20

A workshop on the pragmatics of SAT and some insider information.