Çizge teorisinin uygulamaları, çizge boyama, yaklaşık algoritmalar, Boolean modelleme ve optimizasyon, ikinci dereceden Boolean fonksiyonlar, Horn fonksiyonları