Формулар за пријаву
Име:
Презиме:
Индекс:
Изаберите једну од расположивих тема за семинарски (теме које су на списку су слободне у овом тренутку):
-- изаберите тему --
1: Бинарни дијаграми одлучивања (BDD) у исказној логици. Имплементација
2: Имплементација DP процедуре за исказну логику
3: Имплементација линеарне улазне стратегије за Хорнове клаузе код метода резолуције за исказну логику
5: Имплементација схеме два посматрана литерала у DPLL SAT решавачима
6: Имплементација нехронолошког враћања уназад у DPLL SAT решавачима
7: Имплементација стохастичких SAT решавача (LocalSearch, WalkSat)
8: Не-клаузални SAT решавачи. Имплементација
9: Псеудо-булеанска ограничења и ограничења кардиналности и свођење на SAT
10: Линеарна аритметичка ограничења над коначним доменима и свођење на SAT
12: Верификација хардвера свођењем на SAT
14: Гилморова процедура. Имплементација
15: Резолуција и парамодулација у логици првог реда. Имплементација
16: Имплементација метода таблоа у логици првог реда
17: Интерактивни доказивач у природној дедукцији за логику првог реда
19: Имплементација Нелсон-Опен алгоритма за конгруентно затворење
20: Свођење проблема испитивања задовољивости базних једнакосних формула на SAT Акермановом редукцијом
21: Имплементација Фурије-Моцкинове процедуре за испитивање задовољивости конјункције линеарних ограничења
22: Имплементација SIMPLEX процедуре за испитивање задовољивости конјункције линеарних ограничења
23: Имплементација Кнут-Бендиксове процедуре употпуњавања
НАПОМЕНА: Име и презиме унети ћирилицом (као на Hypatiji).