Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables.

Vince Kurtz Hai Lin

Published in: CoRR (2022)

Keyphrases

temporal logic
binary variables
mixed integer programming
model checking
column generation
linear programming relaxation
lot sizing
mixed integer
valid inequalities
production planning
knapsack problem
cutting plane
limited memory