SCIP: solving constraint integer programs
Top Cited Papers
- 20 January 2009
- journal article
- research article
- Published by Springer Science and Business Media LLC in Mathematical Programming Computation
- Vol. 1 (1), 1-41
- https://doi.org/10.1007/s12532-008-0001-1
Abstract
No abstract availableKeywords
This publication has 57 references indexed in Scilit:
- Improving the feasibility pumpDiscrete Optimization, 2007
- MIPLIB 2003Operations Research Letters, 2006
- Exploring relaxation induced neighborhoods to improve MIP solutionsMathematical Programming, 2004
- On the facets of the mixed?integer knapsack polyhedronMathematical Programming, 2003
- Local branchingMathematical Programming, 2003
- On capacitated network design cut?set polyhedraMathematical Programming, 2002
- Benchmarking optimization software with performance profilesMathematical Programming, 2002
- Functional vector generation for HDL models using linear programming and Boolean satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2001
- GRASP: a search algorithm for propositional satisfiabilityIEEE Transactions on Computers, 1999
- Look-ahead versus look-back for satisfiability problemsPublished by Springer Science and Business Media LLC ,1997