Résultats de integer Programming

Résultats de integer Programming Résultat(s) 1 - 50 résultats de 410 Laminas_Feed_Writer 2 (https://getlaminas.org) https://info.umar.mx/Search/Results?sort=last_indexed+desc&limit=50&lookfor=integer+Programming&type=AllFields&lng=fr 410 0 50 Ranking Functions for Linear-Constraint Loops Sun, 01 Jan 2012 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1208_4041 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1208_4041 Ben-Amram, Amir M. Preprint 2012 Ben-Amram, Amir M. 0 Verifying Procedural Programs via Constrained Rewriting Induction Wed, 01 Jan 2014 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1409_0166 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1409_0166 Fuhs, Carsten Preprint 2014 Fuhs, Carsten 0 Quantum Hall Effect and Langlands Program Sun, 01 Jan 2017 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1708_00419 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1708_00419 Ikeda, Kazuki Preprint 2017 Ikeda, Kazuki 0 Topological Aspects of Matters and Langlands Program Mon, 01 Jan 2018 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1812_11879 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1812_11879 Ikeda, Kazuki Preprint 2018 Ikeda, Kazuki 0 Adaptive Two-stage Stochastic Programming with an Analysis on Capacity Expansion Planning Problem Tue, 01 Jan 2019 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1906_03513 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_1906_03513 Basciftci, Beste Preprint 2019 Basciftci, Beste 0 High-Multiplicity Fair Allocation Using Parametric Integer Linear Programming Wed, 01 Jan 2020 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2005_04907 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2005_04907 Bredereck, Robert Preprint 2020 Bredereck, Robert 0 Decomposition Methods for Global Solutions of Mixed-Integer Linear Programs Fri, 01 Jan 2021 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2102_11980 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2102_11980 Sun, Kaizhao Preprint 2021 Sun, Kaizhao 0 CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints Fri, 01 Jan 2021 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2105_02343 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2105_02343 Paulus, Anselm Preprint 2021 Paulus, Anselm 0 Homotopy Continuation Enhanced Branch and Bound Algorithms for Strongly Nonconvex Mixed-Integer Nonlinear Programming Problems Fri, 01 Jan 2021 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2109_07379 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2109_07379 Ma, Yingjie Preprint 2021 Ma, Yingjie 0 Convex Mixed-Integer Nonlinear Programs Derived from Generalized Disjunctive Programming using Cones Fri, 01 Jan 2021 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2109_09657 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2109_09657 Neira, David E. Bernal Preprint 2021 Neira, David E. Bernal 0 Convex Chance-Constrained Programs with Wasserstein Ambiguity Fri, 01 Jan 2021 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2111_02486 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2111_02486 Shen, Haoming Preprint 2021 Shen, Haoming 0 Sensitivity Analysis for Binary Outcome Misclassification in Randomization Tests via Integer Programming Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2201_03111 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2201_03111 Heng, Siyu Preprint 2022 Heng, Siyu 0 Integrality Gaps for Random Integer Programs via Discrepancy Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2203_11863 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2203_11863 Borst, Sander Preprint 2022 Borst, Sander 0 Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2205_08869 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2205_08869 Lommen, Nils Preprint 2022 Lommen, Nils 0 Regional Constellation Reconfiguration Problem: Integer Linear Programming Formulation and Lagrangian Heuristic Method Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2206_02910 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2206_02910 Lee, Hang Woon Preprint 2022 Lee, Hang Woon 0 PyEPO: A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2206_14234 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2206_14234 Tang, Bo Preprint 2022 Tang, Bo 0 On the Structure of Decision Diagram-Representable Mixed Integer Programs with Application to Unit Commitment Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2207_06650 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2207_06650 Salemi, Hosseinali Preprint 2022 Salemi, Hosseinali 0 The Derived Auslander-Iyama Correspondence Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2208_14413 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2208_14413 Jasso, Gustavo Preprint 2022 Jasso, Gustavo 0 0/1 Constrained Optimization Solving Sample Average Approximation for Chance Constrained Programming Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2210_11889 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2210_11889 Zhou, Shenglong Preprint 2022 Zhou, Shenglong 0 Joint Binary-Continuous Fractional Programming: Solution Methods and Applications Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_02152 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_02152 Pham, Hoang Giang Preprint 2022 Pham, Hoang Giang 0 A Mathematical Programming Approach to Optimal Classification Forests Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_10502 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_10502 Blanco, Víctor Preprint 2022 Blanco, Víctor 0 Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_14409 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_14409 Kuroiwa, Ryo Preprint 2022 Kuroiwa, Ryo 0 Accelerated Nonnegative Tensor Completion via Integer Programming Sat, 01 Jan 2022 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_15770 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2211_15770 Pan, Wenhao Preprint 2022 Pan, Wenhao 0 ACE, a generic constraint solver Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2302_05405 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2302_05405 Lecoutre, Christophe Preprint 2023 Lecoutre, Christophe 0 Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2302_05493 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2302_05493 Wagner, Friedrich Preprint 2023 Wagner, Friedrich 0 Multi-Robot Planning on Dynamic Topological Graphs using Mixed-Integer Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_11966 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_11966 Dimmig, Cora A. Preprint 2023 Dimmig, Cora A. 0 The Subspace Flatness Conjecture and Faster Integer Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_14605 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_14605 Reis, Victor Preprint 2023 Reis, Victor 0 Integer Programming Approaches for Distributionally Robust Chance Constraints with Adjustable Risks Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_15282 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2303_15282 Zhang, Yiling Preprint 2023 Zhang, Yiling 0 Conformal Prediction Regions for Time Series using Linear Complementarity Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2304_01075 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2304_01075 Cleaveland, Matthew Preprint 2023 Cleaveland, Matthew 0 Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2305_01206 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2305_01206 Luo, Ziyan Preprint 2023 Luo, Ziyan 0 Learning Cuts via Enumeration Oracles Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2305_12197 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2305_12197 Thuerck, Daniel Preprint 2023 Thuerck, Daniel 0 Minotaur: A SIMD-Oriented Synthesizing Superoptimizer Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_00229 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_00229 Liu, Zhengyang Preprint 2023 Liu, Zhengyang 0 Plug-in Hybrid Electric Vehicle Energy Management with Clutch Engagement Control via Continuous-Discrete Reinforcement Learning Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_08823 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_08823 Gong, Changfu Preprint 2023 Gong, Changfu 0 Distributionally Robust Airport Ground Holding Problem under Wasserstein Ambiguity Sets Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_09836 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_09836 Wu, Haochen Preprint 2023 Wu, Haochen 0 Approximate Dynamic Programming for Constrained Piecewise Affine Systems with Stability and Safety Guarantees Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_15723 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2306_15723 He, Kanghui Preprint 2023 He, Kanghui 0 Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_06921 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_06921 Lommen, Nils Preprint 2023 Lommen, Nils 0 On the Smallest Support Size of Integer Solutions to Linear Equations Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_08826 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_08826 Dubey, Yatharth Preprint 2023 Dubey, Yatharth 0 Full LTL Synthesis over Infinite-state Arenas Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_09776 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_09776 Azzopardi, Shaun Preprint 2023 Azzopardi, Shaun 0 UniAP: Unifying Inter- and Intra-Layer Automatic Parallelism by Mixed Integer Quadratic Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_16375 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2307_16375 Lin, Hao Preprint 2023 Lin, Hao 0 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2308_03314 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2308_03314 Sun, Yuqiang Preprint 2023 Sun, Yuqiang 0 Lower Bounds on the Complexity of Mixed-Integer Programs for Stable Set and Knapsack Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2308_16711 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2308_16711 Schade, Jamico Preprint 2023 Schade, Jamico 0 AxOMaP: Designing FPGA-based Approximate Arithmetic Operators using Mathematical Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2309_13445 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2309_13445 Sahoo, Siva Satyendra Preprint 2023 Sahoo, Siva Satyendra 0 A Hybrid Quantum-Classical Approach to the Electric Mobility Problem Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_02760 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_02760 Veshchezerova, Margarita Preprint 2023 Veshchezerova, Margarita 0 Taming Binarized Neural Networks and Mixed-Integer Programs Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_04469 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_04469 Aspman, Johannes Preprint 2023 Aspman, Johannes 0 MIP Relaxations in Factorable Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_07168 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_07168 He, Taotao Preprint 2023 He, Taotao 0 Uncertainty-Aware Planning for Heterogeneous Robot Teams using Dynamic Topological Graphs and Mixed-Integer Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_08396 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_08396 Duggan, Cora A. Preprint 2023 Duggan, Cora A. 0 A Novel Mixed-Integer Linear Programming Formulation for Continuous-Time Inventory Routing Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_11240 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2310_11240 Wang, Akang Preprint 2023 Wang, Akang 0 Maximum A Posteriori Direction-of-Arrival Estimation via Mixed-Integer Semidefinite Programming Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_03501 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_03501 Liu, Tianyi Preprint 2023 Liu, Tianyi 0 Risk-aware Scheduling and Dispatch of Flexibility Events in Buildings Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_05402 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_05402 Scharnhorst, Paul Preprint 2023 Scharnhorst, Paul 0 $\infty$-Categorical Generalized Langlands Program I: Mixed-Parity Modules and Sheaves Sun, 01 Jan 2023 06:19:15 -0500 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_10019 https://info.umar.mx/Record/%0Aarxiv_https___arxiv_org_abs_2311_10019 Tong, Xin Preprint 2023 Tong, Xin 0