Synthesizing Heap Manipulations via Integer Linear Programming.

Anshul Garg Subhajit Roy

Published in: SAS (2015)

Keyphrases

integer linear programming
data structure
column generation
bicriteria
linear inequalities
cutting plane
boolean satisfiability
global constraints
suffix tree
symmetry breaking
pseudo boolean
multistage
perfect phylogeny
integer programming