POLIP

library for polynomially constrained
mixed-integer programming


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

Hard  bernasconi.45.11

Namebernasconi.45.11
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 nonzeros2814
Download bernasconi.45.11.pip.gz bernasconi.45.11.gms.gz bernasconi.45.11.mod.gz bernasconi.45.11.zpl.gz
Best known solutionbernasconi.45.11.sol.gz
Best known objective-12740
Best known bound-42533
OriginatorFrauke Liers, Enzo Marinari, Ulrike Pagacz, Federico Ricci-Tersenghi, Vera Schmitz
FormulatorUlrike Pagacz
DonatorUlrike Pagacz
References