Risultati della ricerca - integer Programming

Cerca anche:

Raffina i risultati
  1. 1
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

    Pubblicazione 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

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: