Dolayısıyla, bilindiği gibi, ILP'nin 0-1 karar problemi NP-tamamlanmıştır. NP'de olduğunu göstermek kolaydır ve orijinal indirgeme SAT'dan yapılmıştır; o zamandan beri, diğer birçok NP-Complete probleminin ILP formülasyonlarına (bu problemlerden ILP'ye indirgeme işlevi gören) sahip olduğu gösterilmiştir, çünkü ILP çok faydalıdır.
ILP'den gelen indirimleri kendim yapmak ya da takip etmek çok daha zor görünüyor.
Bu yüzden sorum şu: Herkes ILP'den SAT'a bir poli-zaman düşüşü biliyor mu, yani SAT kullanarak 0-1 ILP karar sorununun nasıl çözüleceğini gösteriyor?