The Integer Linear Programming Inference Cookbook.

Vivek Srikumar Dan Roth

Published in: CoRR (2023)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
cutting plane
symmetry breaking
boolean satisfiability
perfect phylogeny
bayesian networks
global constraints
advanced features
probabilistic reasoning
pseudo boolean
state space