Satz (SAT solver) - Satz (SAT solver) - Wikipedia

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Listopad 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

SatZ je dobře známý SAT instanční řešitel. Byl vyvinut Prof. Chu Min Li, výzkumný pracovník v oblasti počítačových věd. Z znamená poslední verzi SAT řešičů.

Reference

• Chu Min Li a Anbulagan: Heuristika založená na šíření jednotek pro problémy uspokojitelnosti. Sborník ze dne IJCAI, 366–371, 1997

Tento algoritmy nebo datové struktury související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.