sat
Class Scheduling to Boolean satisfiability [wielomian-redukcja czasu]
Mam jakiś teoretyczny / praktyczny problem i na razie nie mam pojęcia jak sobie poradzić, oto jest:
Tworzę SAT solverzdoln ... związanie SAT w harmonogram...
Kolejne pytanie: Class Scheduling to Boolean spełnialność [redukcja wielomianowa] część 2