Sign in
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.
Bishoksan Kafle
Graeme Gange
Peter Schachte
Harald Søndergaard
Peter J. Stuckey
Published in:
SAT (2017)
Keyphrases
</>
integer arithmetic
benders decomposition
network design problem
mixed integer
exact algorithms
euclidean distance transform
image segmentation
knapsack problem
endpoints