SLS-solver Sparrow,Der kürzlich entwicket wurde,basiert auf sehr einfache Ideen。解决3-SAT问题的最佳表现是:。这是一个很好的解决方案。Diese Performanz kann aber noch weiter verbessert werden公司。
EDACC公司位于系统zum Verwalten von SAT-Solvern und Instanzen。Es ermöglicht das Designen von Benchmarks und auch deren Ausführung auf einem Grid oder超级计算机。Es gibt noch viele Erweiterungen für dieses System,die sich als Praktikumsthema formulieren lassen。
Unser解算器杂交GM这是随机问题的最佳SAT解算器。Es gibt ein paar einfache Ideen,wie dieser Solver noch effizicenter gemacht werden kann,我是伊迪恩的首席执行官。杰德·索尔切·伊迪(Jede solche Idee)在Praktikumstehma dar的石碑上。迪塞·沃登·丹恩(Diese werden dann in der Vorbesprechung vorgestellt)。