Kehtestatavuse algoritmi lihtsustamine

Albert Tumanov

Arvutiteaduse Instituut
Tartu Ülikool

Neljapäev, 1.6.2000, kell 14.45
Liivi 2, ruum 208


Ülevaade: Frank Vlachi artikli põhjal INSTEP algoritmi tutvustus. INSTEP algoritm lahendab SAT-probleemi (Boole'i valemi kehtestatavus) paremini kui mõned teised olemasolevad algoritmid. Põhjuseks on hästi arenenud valemi lihtsustamise mehhanism. Lisaks tutvustan oma ideid võimaliku #SAT (lahendite arvu leidmine) algoritmi kohta.
Varmo Vene
Viimati muudetud 23.5.2000