Formalizacija, implementacija i primene SAT rešavača
- doktorska disertacija -
Autor: mr Filip Marić, 10. 2006. - 06. 2009.
Mentor: dr Predrag Janičić
Tekst disertacije
Formalizacija, implementacija i primene SAT rešavača
(pdf, ~1.9MB, poslednja izmena: 22. jun 2009.)
Dodaci disertaciji
Slajdovi sa odbrane disertacije
Formalizacija, implementacija i primene SAT rešavača
(pdf, ~1.2MB, 11. jun 2009.)
Radovi
-
Filip Marić,
Formalization and Implementation of Modern SAT Solvers
(pdf, ~345KB).
Journal of Automated Reasoning. Volume 43. Number 1. 2009.
-
Filip Marić, Predrag Janičić,
Formal Correctness Proof for DPLL Procedure
(pdf, ~113KB).
Informatica. Prihvaćeno za objavljivanje.
-
Mladen Nikolić, Filip Marić, Predrag Janičić,
Instance Based Selection of Policies for SAT Solvers
(pdf, ~271KB).
SAT 2009: Theory and applications of satisfiability testing. Prihvaćeno za objavljivanje i biće saopšteno na konferenciji.
-
Filip Marić, Predrag Janičić,
SAT Verification Project
(pdf, ~205KB).
TPHOLs 2009: Theorem proving in higher order logics - Emerging trends. Prihvaćeno za objavljivanje i biće prikazano na konferenciji.
-
Milena Vujošević-Janičić, Filip Marić, Dušan Tošić,
Using Simplex Method in Verifying Software Safety
(pdf, ~185KB).
Balcor 2007: Balkan Conference on Operational Research. Saopšteno i objavljeno u zborniku radova.
YUJOR - YUgoslav Journal of Operational Research. Prihvaćeno za objavljivanje.
-
Filip Marić,
Flexible Implementation of SAT Solvers
(pdf, ~167KB).
SAT 2009: Theory and applications of satisfiability testing. Uslovno prihvaćeno za objavljivanje (zahtevano je sažimanje na 6 strana).
-
Filip Marić,
Formal Verification of a Modern SAT Solver
(pdf, ~320KB).
Theoretical Computer Science. Prijavljeno za objavljivanje.
-
Filip Marić,
Timetabling based on a SAT encoding - a case study
(pdf, ~181KB).
Discrete Applied Mathematics. Prijavljeno za objavljivanje. Status: major revision.
