Ü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