• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2021
• 
  Vahid Roshanaei, Bahman Naderi:
  Solving integrated operating room planning and scheduling: Logic-based Benders decomposition versus Branch-Price-and-Cut. Eur. J. Oper. Res. 293(1): 65-78 (2021)
• 2020
• 
  Ramon Faganello Fachini, Vinícius Amaral Armentano:
  Logic-based Benders decomposition for the heterogeneous fixed fleet vehicle routing problem with time windows. Comput. Ind. Eng. 148: 106641 (2020)
• 
  Simon Emde, Lukas Polten, Michel Gendreau:
  Logic-based benders decomposition for scheduling a batching machine. Comput. Oper. Res. 113 (2020)
• 
  F. Hooshmand, F. Amerehi, S. A. MirHassani:
  Logic-based benders decomposition algorithm for contamination detection problem in water networks. Comput. Oper. Res. 115: 104840 (2020)
• 
  Lucas Assunção, Andréa Cynthia Santos, Thiago F. Noronha, Rafael Andrade:
  On the Finite Optimal Convergence of Logic-Based Benders' Decomposition in Solving 0-1 Min-max Regret Optimization Problems with Interval Costs. CoRR abs/2001.00943 (2020)
• 2019
• 
  Sara Ayoubi, Samir Sebbah, Chadi Assi:
  A Logic-Based Benders Decomposition Approach for the VNF Assignment Problem. IEEE Trans. Cloud Comput. 7(4): 894-906 (2019)
• 
  Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan:
  Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. CP 2019: 108-125
• 2018
• 
  Martin Riedler, Günther R. Raidl:
  Solving a selective dial-a-ride problem with logic-based Benders decomposition. Comput. Oper. Res. 96: 30-54 (2018)
• 
  Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikos S. Voros:
  Static Mapping of Applications on Heterogeneous Multi-Core Platforms Combining Logic-Based Benders Decomposition with Integer Linear Programming. ACM Trans. Design Autom. Electr. Syst. 23(2): 26:1-26:24 (2018)
• 
  Yingcong Tan, Daria Terekhov:
  Logic-Based Benders Decomposition for Two-Stage Flexible Flow Shop Scheduling with Unrelated Parallel Machines. Canadian Conference on AI 2018: 60-71
• 2017
• 
  Maxence Delorme, Manuel Iori, Silvano Martello:
  Logic based Benders' decomposition for orthogonal stock cutting problems. Comput. Oper. Res. 78: 290-298 (2017)
• 
  Vahid Roshanaei, Curtiss Luong, Dionne M. Aleman, David R. Urbach:
  Propagating logic-based Benders' decomposition approaches for distributed operating room scheduling. Eur. J. Oper. Res. 257(2): 439-455 (2017)
• 
  Christian Kloimüllner, Günther R. Raidl:
  Full-load route planning for balancing bike sharing systems by logic-based benders decomposition. Networks 69(3): 270-289 (2017)
• 
  Toby O. Davies, Graeme Gange, Peter J. Stuckey:
  Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793
• 2016
• 
  Atle Riise, Carlo Mannino, Leonardo Lamorgese:
  Recursive logic-based Benders' decomposition for multi-mode outpatient scheduling. Eur. J. Oper. Res. 255(3): 719-728 (2016)
• 
  André Augusto Ciré, Elvin Coban, John N. Hooker:
  Logic-based Benders decomposition for planning and scheduling: a computational analysis. Knowl. Eng. Rev. 31(5): 440-451 (2016)
• 
  Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikolaos S. Voros:
  A Logic-Based Benders Decomposition Approach for Mapping Applications on Heterogeneous Multicore Platforms. ACM Trans. Embed. Comput. Syst. 15(1): 19:1-19:28 (2016)
• 
  Aliza R. Heching, John N. Hooker:
  Scheduling Home Hospice Care with Logic-Based Benders Decomposition. CPAIOR 2016: 187-197
• 
  Shijie Li, Rudy R. Negenborn, Gabriël Lodewijks:
  A Logic-Based Benders Decomposition Approach to Improve Coordination of Inland Vessels for Inter-Terminal Transport. ICCL 2016: 96-115
• 
  Aliza Heching, John N. Hooker:
  Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. ISAIM 2016
• 
  Lucas Assunção, Andréa Cynthia Santos, Thiago F. Noronha, Rafael Andrade:
  On the Finite Optimal Convergence of Logic-Based Benders' Decomposition in Solving 0-1 Min-Max Regret Optimization Problems with Interval Costs. ISCO 2016: 1-12
• 2015
• 
  Günther R. Raidl, Thomas Baumhauer, Bin Hu:
  Boosting an Exact Logic-Based Benders Decomposition Approach by Variable Neighborhood Search. Electron. Notes Discret. Math. 47: 149-156 (2015)
• 
  Johannes Maschler, Günther R. Raidl:
  A Logic-Based Benders Decomposition Approach for the 3-Staged Strip Packing Problem. OR 2015: 393-399
• 2014
• 
  Günther R. Raidl, Thomas Baumhauer, Bin Hu:
  Speeding Up Logic-Based Benders' Decomposition by a Metaheuristic for a Bi-Level Capacitated Vehicle Routing Problem. Hybrid Metaheuristics 2014: 183-197
• 
  Elvin Coban, Aliza Heching, John N. Hooker, Alan Scheller-Wolf:
  Robust Scheduling with Logic-Based Benders Decomposition. OR 2014: 99-105
• 2013
• 
  Elvin Coban, John N. Hooker:
  Single-facility scheduling by logic-based Benders decomposition. Ann. Oper. Res. 210(1): 245-272 (2013)
• 
  André A. Ciré, Elvin Coban, John N. Hooker:
  Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. CPAIOR 2013: 325-331
• 2012
• 
  Mohammad M. Fazel-Zarandi, J. Christopher Beck:
  Using Logic-Based Benders Decomposition to Solve the Capacity- and Distance-Constrained Plant Location Problem. INFORMS J. Comput. 24(3): 387-398 (2012)
• 
  Tony T. Tran, J. Christopher Beck:
  Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. ECAI 2012: 774-779
• 2010
• 
  Elvin Coban, John N. Hooker:
  Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. CPAIOR 2010: 87-91

skipping 3 more matches