NAIL062 Výroková a predikátová logika
Poznámky
Bulínovy poznámky - nejaktuálnější a asi nejlepší
Dokumentace
pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)
Bulínovy poznámky - nejaktuálnější a asi nejlepší
pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)