Jabarkan Pemrograman bilangan bulat dari Kaidah Cramer

Kaidah Cramer dapat digunakan untuk membuktikan bahwa masalah integer programming, yang matriks pembatasnya bersifat totally unimodular dan yang ruas kanannya berupa bilangan bulat, memiliki solusi bilangan bulat. Hal ini membuat integer program jauh lebih mudah untuk diselesaikan.