The Remarkable BEST-SAT Algorithm

A dive into the remarkable BEST-SAT approximation algorithm.

Created as a part of SoME2:


0:00 - Introduction
2:21 - RAND-SAT
3:35 - LP-SAT
8:49 - BEST-SAT
10:11 - Outro


Source code:

Thannoid by Blue Dot Sessions:

Software used:
Manim (animation software):
Kdenlive (video cutting):
ffmpeg (audio/video processing):
OBS (audio/video recording):
arecord (audio recording):
sox (audio processing):
Vector Magic (image vectorization):
Inkscape (vector image editing):

Social media:
Website (for other things I'm up to):
Patreon (if you'd like to support me):

Thanks to Matěj Kripner for proofreading the script and reviewing the early drafts of the video!


[EN] Notes from Jiří Sgall's Approximation Algorithms lecture

Reanudación de la Sesión Extraordinaria del Consejo General del Instituto Nacional Electoral

Nicola Sturgeon says Cop26 will 'inevitably' pose Covid-19 transmission risk

valentina mor... de la dorada caldas mor ????????

Sababu kuu za mtaala mpya wa CBC kufaulu nchini Kenya
สรุปข่าวเชลซี 31/03/2564 : ได้เวลาเตะแล้ว? เกมชปล.เชลซี-ปอร์โต้ได้ที่ลงเตะสนามกลางทั้ง2นัด