Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Thesis

Download BibTeX

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

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.