„Linear Programming“

Suchergebnisse

2.638 Treffer

• An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming
  Katsirelos, George 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
  Roberson, David ; Seppelt, Tim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Space-Efficient Interior Point Method, with Applications to Linear Programming and Maximum Weight Bipartite Matching
  Liu, S. Cliff ; Song, Zhao ; Zhang, Hengjie ; Zhang, Lichen ; Zhou, Tianyi 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
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko
• A sequential linear programming approach for truss optimization based on the uncertainty analysis-based data-driven computational mechanics (UA-DDCM)
  Huang, Mengcheng ; Du, Zongliang ; Liu, Chang ; Zhang, Weisheng ; Guo, Xu
• Bi-Criteria Approximation Algorithms for Bounded-Degree Subset TSP
  Friggstad, Zachary ; Mousavi, Ramin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integrality Gap of Time-Indexed Linear Programming Relaxation for Coflow Scheduling
  Fukunaga, Takuro 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Polynomial-Time Approximations for Clustering with Minimum Sum of Radii or Diameters
  Friggstad, Zachary ; Jamshidian, Mahya 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
• Weisfeiler-Leman Invariant Promise Valued CSPs
  Barto, Libor ; Butti, Silvia 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
• Practical Performance of Random Projections in Linear Programming
  Liberti, Leo ; Manca, Benedetto ; Poirion, Pierre-Louis 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Satisfiability of Smooth Grid CSPs
  Alferov, Vasily ; de Oliveira Oliveira, Mateus 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two-Commodity Flow Is Equivalent to Linear Programming Under Nearly-Linear Time Reductions
  Ding, Ming ; Kyng, Rasmus ; Zhang, Peng 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Programs with Conjunctive Queries
  Capelli, Florent ; Crosetti, Nicolas ; Niehren, Joachim ; Ramon, Jan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallelism in Soft Linear Logic
  Jacobé de Naurois, Paulin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Complete Linear Programming Hierarchy for Linear Codes
  Coregliano, Leonardo Nagami ; Jeronimo, Fernando Granha ; Jones, Chris 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)
  Bonchi, Filippo ; Di Giorgio, Alessandro ; Zanasi, Fabio 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Making Rigorous Linear Programming Practical for Program Analysis
  Wang, Tengbin ; Chen, Liqian ; Chen, Taoqing ; Fan, Guangsheng ; Wang, Ji 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik