First-Order Mixed Integer Linear Programming
7 probabilistic entity - relationship models , prms , and plate models .