Формулар за пријаву
Име:
Презиме:
Индекс:
Изаберите једну од расположивих тема за семинарски (теме које су на списку су слободне у овом тренутку):
-- изаберите тему --
8: Не-клаузални SAT решавачи. Имплементација
9: Псеудо-булеанска ограничења и ограничења кардиналности и свођење на SAT
15: Резолуција и парамодулација у логици првог реда. Имплементација
18: Интерактивни доказивач у једнакосној логици заснован на Биркхофовим правилима
19: Имплементација Нелсон-Опен алгоритма за конгруентно затворење
20: Свођење проблема испитивања задовољивости базних једнакосних формула на SAT Акермановом редукцијом
23: Имплементација Кнут-Бендиксове процедуре употпуњавања
НАПОМЕНА: Име и презиме унети ћирилицом (као на Hypatiji).