Browsing by Subject "SAT"
Now showing 1 - 5 of 5
- 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 , Rozwój systemu wizualizacji formuł logicznych(Data obrony: 2021-03-18) Pala, Krzysztof
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejItem type:Thesis, Access status: Restricted , System losowego generowania formuł logicznych dla logiki pierwszego rzędu(Data obrony: 2020-01-21) Grzeliński, Mateusz
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejItem type:Article, Access status: Open Access , Using BOINC desktop grid to solve large scale SAT problems(Wydawnictwa AGH, 2012) Posypkin, Mihail Anatol'evič; Semënov, Aleksandr Anatol'evič; Zaikin, OlegMany practically important combinatorial problems can be efficiently reduced to a problem of Boolean satisfiability (SAT). Therefore, the implementation of distributed algorithms for solving SAT problems is of great importance. In this article we describe a technology for organizing desktop grid, which is meant for solving SAT problems. This technology was implemented in the form of a volunteer computing project SAT@home based on a popular BOINC platform.Item type:Thesis, Access status: Restricted , Zastosowanie SAT solverów w testowaniu bezpieczeństwa technologii blockchain(Data obrony: 2019-07-11) Taborowski, Krzysztof
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej