Jako, że ten wpis publikuję w Wigilię Bożego Narodzenia dlatego przy okazji chciałbym wszystkim czytającym życzyć Wesołych Świąt i samych udanych kompilacji ;) A teraz do rzeczy. Ponieważ ciężko jest znaleźć w polskim Internecie jakiś sensowny opis algorytmu SAT, dlatego postanowiłem napisać krótki artykuł na temat jego działania. Ponieważ całość […]