%0 Journal Article
%T Problem ispunjivosti logi£¿ke formule (SAT)
%A Loli£¿
%A Tihomir
%A Mihel£¿i£¿
%A Matej
%J -
%D 2012
%X Sa£¿etak U £¿lanku definiramo problem ispunjivosti formule logike sudova (SAT) i promatramo neke osnovne rezultate i primjene vezane uz navedeni problem. Opisat £¿emo trenutno najva£¿niji potpuni algoritam za rje£¿avanje problema ispunjivosti logi£¿ke formule: Davis-Putnam-Logeman-Loveland algoritam. £¿itatelj £¿e mo£¿i vizualizirati rad DPLL algoritma koriste£¿i DPvis applet u kojem £¿e mo£¿i interaktivno poku£¿ati rije£¿iti problem ispunjivosti nekih slo£¿enijih formula. Odjeljak o algoritmima nastavljamo predstavljanjem nekoliko glavnijih skupina heuristi£¿kih algoritama za rje£¿avanje problema SAT. Predstavit £¿emo prednosti i nedostatke svake skupine algoritama. Na kraju £¿emo navesti i kratko opisati neke va£¿nije verzije SAT problema
%K Davis-Putnamov algoritam
%K logika sudova
%K pohlepni algoritam
%K SAT
%K slu£¿ajne £¿etnje
%U https://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=151772