POLIP

library for polynomially constrained
mixed-integer programming


polip :: contents / contributors / instances / archive / bibliography

Hard  bernasconi.45.45

Namebernasconi.45.45
Classificationnc|bc|d4
Problem typeautocorrelated_sequences
Descriptiondegree-four model for low autocorrelated binary sequences
Objective sensemin
Variables46  (45 binary, 0 general integer, 1 continuous)
Nonlinear variables1
Constraints0
Nonlinear constraints1
Linear nonzeros0
Nonlinear nonzeros21994
Download bernasconi.45.45.pip.gz bernasconi.45.45.gms.gz bernasconi.45.45.mod.gz bernasconi.45.45.zpl.gz
Best known solutionbernasconi.45.45.sol.gz
Best known objective-112764
Best known bound-1510172
OriginatorFrauke Liers, Enzo Marinari, Ulrike Pagacz, Federico Ricci-Tersenghi, Vera Schmitz
FormulatorUlrike Pagacz
DonatorUlrike Pagacz
References