Thesis
Title
Analiza porównawcza wybranych programów rozwiązujących problem spełnialności
Department
Wydział Informatyki i Telekomunikacji, Politechnika Poznańska
Promoters
Reviewers
Title variant
EN A Comparative Analysis of Selected Programs for Solving the Boolean Satisfiability Problem
Language
polish
Type
master thesis
Date of defense
17.07.2024
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS