Résultats de la recherche - integer Programming

Recherches alternatives:

Affiner les résultats
  1. 1
    Image de couverture de livre

    Reducing Losses Due to Lack of Supply in a Manufacturing Company Using a Mixed-Integer Linear Programming Model Autoría: José Alfredo Jiménez - García

    Publié 2016
    Fuente: Redalyc
    Tipo de material: Artículo científico
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Efficient Workload Balancing on Heterogeneous GPUs using Mixed-Integer Non-Linear Programming Autoría: Chih-Sheng Lin

    Publié 2014
    Fuente: Redalyc
    Tipo de material: Artículo científico
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    Delineation of special economic zones using integer linear programming Autoría: Nestor M. Cid-Garcia

    Publié 2019
    Fuente: Redalyc
    Tipo de material: Artículo científico
    Acceso al recurso
    Enlace del recurso 1 Enlace del recurso 2 Enlace del recurso 3 Enlace del recurso 4 Enlace del recurso 5

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

    Two-dimensional Spatial Optimization for Electric Motorcycle Powertrain Elements using Mixed-integer Programming Autoría: van Kampen, Jorn, Huang, Chun-Cheng, Salazar, Mauro

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

    A mixed-integer linear programming model for harvesting, loading and transporting sugarcane. A case study in Peru Autoría: Marcela María Morales-Chávez

    Publié 2016
    Fuente: Redalyc
    Tipo de material: Artículo científico
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Image de couverture de livre

    Mixed-integer Second-Order Cone Programming for Multi-period Scheduling of Flexible AC Transmission System Devices Autoría: Charara, Mohamad, De Montigny, Martin, Daher, Nivine Abou, Dagdougui, Hanane, Lesage-Landry, Antoine

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Image de couverture de livre

    Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning Autoría: Lin, Xuan, Ren, Jiming, Luo, Yandong, Xie, Weijun, Zhao, Ye

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Image de couverture de livre

    Modeling Layout Abstractions Using Integer Set Relations Autoría: Bhaskaracharya, Somashekaracharya G, Acharya, Aravind, Hagedorn, Bastian, Grover, Vinod

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Image de couverture de livre

    The downgrading semantics of memory safety (Extended version) Autoría: Hansen, René Rydhof, Larsen, Andreas Stenbæk, Askarov, Aslan

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Image de couverture de livre

    Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams Autoría: Bolotina, Anna, Kirsch, Christoph M., Lei, Stefanie Muroya, Pleschinger, Matthias

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Image de couverture de livre

    Fast Trigonometric Functions using the RLIBM Approach Autoría: Park, Sehyeok, Nagarakatte, Santosh

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  12. 12
    Image de couverture de livre

    Minotaur: A SIMD-Oriented Synthesizing Superoptimizer Autoría: Liu, Zhengyang, Mada, Stefan, Regehr, John

    Publié 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  13. 13
    Image de couverture de livre

    Custom Representations of Inductive Families Autoría: Theocharis, Constantine, Brady, Edwin

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  14. 14
    Image de couverture de livre

    Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers Autoría: Peng, Xuanyu, Kennedy, Dominic, Fan, Yuyou, Greenman, Ben, Regehr, John, D'Antoni, Loris

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  15. 15
    Image de couverture de livre

    Leveraging Large Language Models for Generalizing Peephole Optimizations Autoría: Liao, Chunhao, Xu, Hongxu, Zhou, Xintong, Xu, Zhenyang, Sun, Chengnian

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  16. 16
    Image de couverture de livre

    Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology Autoría: Young, Halley

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  17. 17
    Image de couverture de livre

    Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification Autoría: Kan, Shuanglong, Ertel, Sebastian

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  18. 18
    Image de couverture de livre

    The Monotone Priority System: Foundations of Contract-Specific Sequencing Autoría: Durvasula, Naveen

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  19. 19
    Image de couverture de livre

    VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints Autoría: He, Yang, Zhao, Pinhan, Wang, Xinyu, Wang, Yuepeng

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  20. 20
    Image de couverture de livre

    Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms Autoría: Alaoui, Ziad Ismaili, Plump, Detlef

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: