The Remarkable BEST-SAT Algorithm

A dive into the remarkable BEST-SAT approximation algorithm.

Created as a part of SoME2: www.youtube.com

------------------

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

------------------

Source code:
github.com

Music:
Thannoid by Blue Dot Sessions: app.sessions.blue

Software used:
Manim (animation software): github.com
Kdenlive (video cutting): kdenlive.org
ffmpeg (audio/video processing): https://ffmpeg.org/
OBS (audio/video recording): obsproject.com
arecord (audio recording): linux.die.net
sox (audio processing): http://sox.sourceforge.net/
Vector Magic (image vectorization): https://vectormagic.com/
Inkscape (vector image editing): https://inkscape.org/

Social media:
Website (for other things I'm up to): https://slama.dev/
Patreon (if you'd like to support me): www.patreon.com

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
slama.dev

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นัด