This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Tobias Achterberg. SCIP-a framework to integrate constraint and mixed integer programming. Technical Report 04-19, Zuse Institute Berlin, 2004. See scip.zib.de.
J. Bisschop and A. Meeraus. On the development of a general algebraic modeling system in a strategic planning environment. Mathematical Programming Study, 20:1–29, 1982.
Robert E. Bixby. Solving real-world linear programs: A decade and more of progress. Operations Research, 50(1):3–15, 2002.
Robert E. Bixby, Marc Fenelon, Zonghao Gu, Ed Rothberg, and Roland Wunderling. MIP: Theory and practice-closing the gap. In M. J. D. Powell and S. Scholtes, editors, System Modelling and Optimization: Methods, Theory and Applications. Kluwer, 2000.
David Eppstein. Nonrepetitive paths and cycles in graphs with application to Sudoku. ACM Computing Research Repository, 2005.
R. Fourer, D. M. Gay, and B. W. Kernighan. AMPL: A Modelling Language for Mathematical Programming. Brooks/Cole, 2nd edition, 2003.
Josef Kallrath, editor. Modeling Languages in Mathematical Optimization. Kluwer, 2004.
Thorsten Koch. Rapid Mathematical Programming. PhD thesis, Technische Universität Berlin, 2004. Corrected version available as ZIB technical report 04-58. Regarding software see www.zib.de/koch/zimpl.
Frank Plastria. Formulating logical implications in combinatorial optimization. European Journal of Operational Research, 140:338–353, 2002.
Hermann Schichl. Models and the history of modeling. In Josef Kallrath, editor, Modeling Languages in Mathematical Optimization, pages 25–36. Kluwer, 2004.
W.J. van Hoeve. The alldifferent constraint: A survey. In 6th Annual Workshop of the ERCIM Working Group on Constraints. Prague, June 2001.
H. Paul Williams and Sally C. Brailsford. Computational logic and integer programming. In J. E. Beasley, editor, Advances in Linear and Integer Programming, pages 249–281. Oxford University Press, 1996.
GNU linear programming toolkit glpsol version 4.7. www.gnu.org/software/glpk.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koch, T. (2006). Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a Few Seconds. In: Haasis, HD., Kopfer, H., Schönberger, J. (eds) Operations Research Proceedings 2005. Operations Research Proceedings, vol 2005. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-32539-5_4
Download citation
DOI: https://doi.org/10.1007/3-540-32539-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32537-6
Online ISBN: 978-3-540-32539-0
eBook Packages: Business and EconomicsBusiness and Management (R0)