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.

About This Episode

#11: Checkmate in Nine is an episode from My FLoC Experience by Chris Patuzzo. A last minute change of mind to learn about quantifiable boolean formulae. The episode was published on Jul 9, 2018 and runs for 00:07:12. Use the player to list...

Podcast

This episode belongs to My FLoC Experience.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Jul 9, 2018, 00:07:12 long, audio available.

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.