Logic-based Benders decomposition
type: Item
instance of: scholarly article
title: Logic-based Benders decomposition
zbMATH Open document ID: 1023.90082
published in: Mathematical Programming. Series A. Series B
publication date: 2003-07-13T00:00:00Z
full work available at URL: https://figshare.com/articles/journal_contribution/Logic-Based_Benders_Decomposition/6706649
Mathematics Subject Classification ID: 90C49
Mathematics Subject Classification ID: 90C09
Mathematics Subject Classification ID: 49M27
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1948552
zbMATH Keywords: logic based Benders decomposition
zbMATH Keywords: 0-1 programming
zbMATH Keywords: inference duality
zbMATH Keywords: satisfiability
author: John N. Hooker
author: Greger Ottosson
MaRDI profile type: Publication
OpenAlex ID: W1508945008
DOI: 10.1007/S10107-003-0375-9
description: scientific article; zbMATH DE number 1948552