Zor bir sorunum varsa, standart bir yaklaşım bunu bir SAT örneği olarak ifade etmek ve üzerinde bir SAT çözücü çalıştırmayı denemektir. Başka bir standart yaklaşım, bunu bir kısıtlama memnuniyeti sorunu olarak ifade etmek ve bir CSP çözücüsü kullanmayı denemektir. İkisi, giriş formatlarında ne tür problemlerin doğal olarak ifade edilebileceği konusunda belirsiz bir şekilde benzer hissediyorlar.
Belirli bir problem için nasıl tanınacağına dair hangi kurallar veya kurallar var mı, hangi yaklaşımın iyi sonuçlar vermesi daha olasıdır? Herkesin hangi tür problemleri SAT çözücüler tarafından CSP çözücülerinden daha iyi ele alabileceği konusunda önerebileceği herhangi bir rehber var mıdır?
(Açıkçası, her iki yaklaşımla da çözülebilecek bazı kolay problemler vardır. Her iki yaklaşımla da yararlı bir şekilde çözülemeyen bazı zor problemler de vardır. Bunları bir kenara bırakalım. Rehberliğin en yararlı olduğu durum, SAT Çözücüler CSP çözücülerinden daha iyi performans gösterirken veya CSP çözücülerinin SAT çözücülerden daha iyi performans gösterdiği yerlerde SAT çözümleyicisinin CSP çözücüsünden daha uygun olacağını veya CSP çözücüsünün bir SAT çözücü - yani ilk önce denemek için hangi yaklaşım?)