Diameter Polytopes of Feasible Binary Programs.

Thomas R. Cameron Sebastian Charmot Jonad Pulaj

Published in: CoRR (2020)

Keyphrases

computer programs
binary data
artificial intelligence
control structures
automatic programming
multi valued
programming environment
answer sets
feasible solution
feature selection
non binary
convex hull
fixpoint
valid inequalities
data structure
intermediate level
database
provably correct