„Integer Linear Program“

Suchergebnisse

535 Treffer

• Barcode Selection and Layout Optimization in Spatial Transcriptomics
  Jatzkowski, Frederik L. ; Schmidt, Antonia ; Mank, Robert ; Schüler, Steffen ; Müller-Hannemann, Matthias 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions
  Grigorjew, Andreas ; Dias, Fernando H. C. ; Cracco, Andrea ; Rizzi, Romeo ; Tomescu, Alexandru I. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integer Linear-Exponential Programming in NP by Quantifier Elimination
  Chistikov, Dmitry ; Mansutti, Alessio ; Starchak, Mikhail R. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Maximum Polygonal Packings in Convex Polygons Using Best-Fit, Genetic Algorithms and ILPs (CG Challenge)
  Atak, Alkan ; Buchin, Kevin ; Hagedoorn, Mart ; Heinrichs, Jona ; Hogreve, Karsten ; Li, Guangping ; Pawelczyk, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments
  Chimani, Markus ; Hedtke, Ivo ; Wiedera, Tilo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ILP-based Local Search for Graph Partitioning
  Henzinger, Alexandra ; Noe, Alexander ; Schulz, Christian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Swing shift: a mathematical approach to defensive positioning in baseball
  Bouzarth, Elizabeth ; Grannan, Benjamin ; Harris, John ; Hartley, Andrew ; Hutson, Kevin ; Morton, Ella
• Proof Complexity and Its Relations to SAT Solving (Invited Talk)
  Atserias, Albert 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fine-Grained Equivalence for Problems Related to Integer Linear Programming
  Rohwedder, Lars ; Węgrzycki, Karol 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Combinatorics of (S,M,L,XL) or the best fitting delivery of T-shirts
  Gaul, Constantin ; Kurz, Sascha ; Rambau, Jörg
• Bridging Disparate Views on the DCJ-Indel Model for a Capping-Free Solution to the Natural Distance Problem
  Bohnenkämper, Leonard 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Revisiting the Complexity of and Algorithms for the Graph Traversal Edit Distance and Its Variants
  Qiu, Yutong ; Shen, Yihang ; Kingsford, Carl 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inferring Temporally Consistent Migration Histories
  Roddur, Mrinmoy Saha ; Snir, Sagi ; El-Kebir, Mohammed 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
• Certified CNF Translations for Pseudo-Boolean Solving
  Gocht, Stephan ; Martins, Ruben ; Nordström, Jakob ; Oertel, Andy 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
• 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
• An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
  Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian 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
• Parameterized Complexity of Geodetic Set
  Kellerhals, Leon ; Koana, Tomohiro 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik