ये एल्गोरिदम बडखा  तर्क समस्यामन के हल करे बर अम पर्याप्त   साबित हुए काबरकि ओमनल  "कॉम्बिनेटोरियल विस्फोट" के अनुभव होइस: वे तेजी ले  धीमे हो गए काबरकि समस्यामन बडखा  हो गइससं।