Implementacja współczesnego SAT solvera.

licenciate
dc.abstract.enThe aim of this paper is to overview the modern techniques that are used to speed up the resolution of boolean satisfiability problem, simplified implementation of these techniques and their comparison. Simplifications within implementations are mainly based on skipping low-level parts of improvements. Comparisons, however, take into account the change of some parameters into different ones than those proposed by the author of the method.pl
dc.abstract.plCelem pracy jest przegląd technik stosowanych współcześnie w celu szybszego rozwiązywania problemu spełnialności formuł logicznych, uproszczona implementacja tych technik oraz ich porównanie. Uproszczenia w implementacjach polegają głównie na pominięciu części niskopoziomowych usprawnień. Natomiast porównania uwzględniają również zmianę niektórych parametrów na inne niż te proponowane przez autorów metod.pl
dc.affiliationWydział Matematyki i Informatykipl
dc.areaobszar nauk ścisłychpl
dc.contributor.advisorWrona, Michałpl
dc.contributor.authorZawadzki, Jakubpl
dc.contributor.departmentbycodeUJK/WMI2pl
dc.contributor.reviewerWrona, Michałpl
dc.contributor.reviewerBendkowski, Maciejpl
dc.date.accessioned2020-07-27T14:05:57Z
dc.date.available2020-07-27T14:05:57Z
dc.date.submitted2018-09-11pl
dc.fieldofstudyinformatyka analitycznapl
dc.identifier.apddiploma-121474-196539pl
dc.identifier.projectAPD / Opl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/226016
dc.languagepolpl
dc.subject.enSAT solver, unit propagation, LBD, VSIDS, clause minimalizationpl
dc.subject.plSAT solver, propagacja jednostkowa, LBD, VSIDS, minimalizacja klauzulpl
dc.titleImplementacja współczesnego SAT solvera.pl
dc.title.alternativeThe implementation of modern SAT solver.pl
dc.typelicenciatepl
dspace.entity.typePublication
dc.abstract.enpl
The aim of this paper is to overview the modern techniques that are used to speed up the resolution of boolean satisfiability problem, simplified implementation of these techniques and their comparison. Simplifications within implementations are mainly based on skipping low-level parts of improvements. Comparisons, however, take into account the change of some parameters into different ones than those proposed by the author of the method.
dc.abstract.plpl
Celem pracy jest przegląd technik stosowanych współcześnie w celu szybszego rozwiązywania problemu spełnialności formuł logicznych, uproszczona implementacja tych technik oraz ich porównanie. Uproszczenia w implementacjach polegają głównie na pominięciu części niskopoziomowych usprawnień. Natomiast porównania uwzględniają również zmianę niektórych parametrów na inne niż te proponowane przez autorów metod.
dc.affiliationpl
Wydział Matematyki i Informatyki
dc.areapl
obszar nauk ścisłych
dc.contributor.advisorpl
Wrona, Michał
dc.contributor.authorpl
Zawadzki, Jakub
dc.contributor.departmentbycodepl
UJK/WMI2
dc.contributor.reviewerpl
Wrona, Michał
dc.contributor.reviewerpl
Bendkowski, Maciej
dc.date.accessioned
2020-07-27T14:05:57Z
dc.date.available
2020-07-27T14:05:57Z
dc.date.submittedpl
2018-09-11
dc.fieldofstudypl
informatyka analityczna
dc.identifier.apdpl
diploma-121474-196539
dc.identifier.projectpl
APD / O
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/226016
dc.languagepl
pol
dc.subject.enpl
SAT solver, unit propagation, LBD, VSIDS, clause minimalization
dc.subject.plpl
SAT solver, propagacja jednostkowa, LBD, VSIDS, minimalizacja klauzul
dc.titlepl
Implementacja współczesnego SAT solvera.
dc.title.alternativepl
The implementation of modern SAT solver.
dc.typepl
licenciate
dspace.entity.type
Publication
Affiliations

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
27
Views per month
Views per city
Warsaw
4
Wroclaw
3
Dublin
2
Krakow
2
Lublin
2
Racibórz
2
Boardman
1
Gressvik
1
Szczecin
1
Tafi del Valle
1

No access

No Thumbnail Available