Browsing by Subject "SAT Solver"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item type:Thesis, Access status: Restricted , Design and implementation of an experimental SAT Solver(Data obrony: 2018-06-29) Morawiec, Sebastian
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejItem type:Thesis, Access status: Restricted , Multikryterialny system preferencyjny wykorzystujący ważony Max-SAT Solver dla maksymalizacji spełnialności oczekiwań(Data obrony: 2019-09-27) Strugała, Michał
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej