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