A branch-and-bound methodology within algebraic modelling systems

J.J. Bisschop, J.B.J. Heerink, G. Kloosterman

Research output: Book/ReportReportOther research output

24 Downloads (Pure)

Abstract

Through the use of application-specific branch-and-bound directives it is possible to find solutions to combinatorial models that would otherwise be difficult or impossible to find by just using generic branch-and-bound techniques within the framework of mathematical programming. {\sc Minto} is an example of a system which offers the possibility to incorporate user-provided directives (written in {\sc C}) to guide the branch-and-bound search. Its main focus, however, remains on mathematical programming models. The aim of this paper is to present a branch-and-bound methodology for particular combinatorial structures to be embedded inside an algebraic modelling language. One advantage is the increased scope of application. Another advantage is that directives are more easily implemented at the modelling level than at the programming level.
Original languageUndefined
Place of PublicationEnschede
PublisherUniversity of Twente, Department of Applied Mathematics
Publication statusPublished - 1998

Publication series

Name
PublisherDepartment of Applied Mathematics, University of Twente
No.1480
ISSN (Print)0169-2690

Keywords

  • MSC-68N20
  • EWI-3300
  • IR-65669
  • MSC-68N99

Cite this

Bisschop, J. J., Heerink, J. B. J., & Kloosterman, G. (1998). A branch-and-bound methodology within algebraic modelling systems. Enschede: University of Twente, Department of Applied Mathematics.