„Integer Programming“

Suchergebnisse

1.502 Treffer

• Inferring Temporally Consistent Migration Histories
  Roddur, Mrinmoy Saha ; Snir, Sagi ; El-Kebir, Mohammed 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integer Programming Formulations and Cutting Plane Algorithms for the Maximum Selective Tree Problem
  Onar, Ömer Burak ; Ekim, Tınaz ; Taşkın, Z. Caner 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
  Bourke, Timothy ; Bregeon, Vincent ; Pouzet, Marc 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Shadoks Approach to Convex Covering (CG Challenge)
  da Fonseca, Guilherme D. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Order acceptance and scheduling on non-identical parallel machines with dependent setup times: new mixed integer programming formulations
  Jos, Bobin Cherian ; Rajendran, Chandrasekharan ; Srinivas, Sharan
• A Comprehensive Study of k-Portfolios of Recent SAT Solvers
  Bach, Jakob ; Iser, Markus ; Böhm, Klemens 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
  Winter, Felix ; Meiswinkel, Sebastian ; Musliu, Nysret ; Walkiewicz, Daniel 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
  Ulrich-Oltean, Felix ; Nightingale, Peter ; Walker, James Alfred 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DUELMIPs: Optimizing SDN Functionality and Security
  Curry, Timothy ; De Pace, Gabriel ; Fuller, Benjamin ; Michel, Laurent ; Sun, Yan (Lindsay) 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
  Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Sample Complexity Bounds for Branch-And-Cut
  Balcan, Maria-Florina ; Prasad, Siddharth ; Sandholm, Tuomas ; Vitercik, Ellen 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Adaptive Refinement Algorithm for Discretizations of Nonconvex QCQP
  Gupte, Akshay ; Koster, Arie M.C.A. ; Kuhnke, Sascha 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approximation Algorithms for Interdiction Problem with Packing Constraints
  Chen, Lin ; Wu, Xiaoyu ; Zhang, Guochuan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming
  Briański, Marcin ; Koutecký, Martin ; Král', Daniel ; Pekárková, Kristýna ; Schröder, Felix 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
  Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning in Local Branching (Invited Talk)
  Liu, Defeng ; Lodi, Andrea 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Properties of Thermodynamic Binding Networks: An Integer Programming Approach
  Haley, David ; Doty, David 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Sequential and Parallel Algorithms for Multistage Stochastic Integer Programming Using Proximity
  Cslovjecsek, Jana ; Eisenbrand, Friedrich ; Pilipczuk, Michał ; Venzin, Moritz ; Weismantel, Robert 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fuzzy Simultaneous Congruences
  Deppert, Max A. ; Jansen, Klaus ; Klein, Kim-Manuel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parsimonious Clone Tree Reconciliation in Cancer
  Sashittal, Palash ; Zaccaria, Simone ; El-Kebir, Mohammed 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik