Browsing by Subject "satisfiability"
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 , Porównanie metod wnioskowania w różnych systemach(Data obrony: 2011-07-11) Guzik, Monika
Wydział Matematyki Stosowanej