<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Logic-Based Benders Decomposition</title>
    <subTitle>Theory and Applications</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Hooker, John.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
    <role>
      <roleTerm type="text">author.</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">aut</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">http://id.loc.gov/vocabulary/relators/aut</roleTerm>
    </role>
  </name>
  <name type="corporate">
    <namePart>SpringerLink (Online service)</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">sz</placeTerm>
    </place>
    <dateIssued encoding="marc">2024</dateIssued>
    <edition>1st ed. 2024.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">electronic</form>
    <form authority="gmd">electronic resource</form>
    <reformattingQuality>access</reformattingQuality>
    <extent>IX, 142 p. 13 illus. online resource.</extent>
  </physicalDescription>
  <abstract>This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex optimization problems into components that are small enough for practical solution. The author introduces logic-based Benders decomposition for optimization, which substantially generalizes the classical Benders method. It can reduce solution times by orders of magnitude and allows decomposition to be applied to a much wider variety of optimization problems. On the theoretical side, this book provides a full account of inference duality concepts that underlie LBBD, as well as a description of how LBBD can be combined with stochastic and robust optimization, heuristic methods, and decision diagrams. It also clarifies the connection between LBBD and combinatorial Benders cuts for mixed integer programming. On the practical side, it explains how LBBD has been applied to a rapidly growing variety of problem domains. After describing basic theory, this book provides a comprehensive review of the rapidly growing literature that describes these applications, in each case explaining how LBBD is adapted to the problem at hand. In doing so this work provides a sourcebook of ideas for applying LBBD to new problems as they arise.</abstract>
  <tableOfContents>Introduction -- Inference Duality -- The Basic Logic-based Benders Method -- Classical Benders Decomposition -- Combinatorial Benders Cuts -- Stochastic and Robust Optimization -- LBBD and Decision Diagrams -- LBBD and Heuristic Methods -- Task Assignment and Scheduling -- .Vehicle Routing -- Shop, Factory, and Employee Scheduling -- Other Scheduling and Logistics Problems; Health-related Applications -- Network Design -- Other Applications.</tableOfContents>
  <note type="statement of responsibility">by John Hooker.</note>
  <subject authority="lcsh">
    <topic>Mathematical optimization</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Operations research</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Mathematics</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Production management</topic>
  </subject>
  <subject>
    <topic>Optimization</topic>
  </subject>
  <subject>
    <topic>Operations Research and Decision Theory</topic>
  </subject>
  <subject>
    <topic>Applications of Mathematics</topic>
  </subject>
  <subject>
    <topic>Operations Management</topic>
  </subject>
  <classification authority="lcc">QA402.5-402.6</classification>
  <relatedItem type="host">
    <titleInfo>
      <title>Springer Nature eBook</title>
    </titleInfo>
  </relatedItem>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="series">
    <titleInfo>
      <title>Synthesis Lectures on Operations Research and Applications</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">9783031450396</identifier>
  <identifier type="uri">https://doi.org/10.1007/978-3-031-45039-6</identifier>
  <location>
    <url>https://doi.org/10.1007/978-3-031-45039-6</url>
  </location>
  <recordInfo>
    <recordCreationDate encoding="marc">231118</recordCreationDate>
    <recordChangeDate encoding="iso8601">20251030110834.0</recordChangeDate>
    <recordIdentifier source="DE-He213">978-3-031-45039-6</recordIdentifier>
  </recordInfo>
</mods>
