Reducing Signed SAT to Mixed Integer Linear Programming

Συγγραφείς: Yangin, Elifnaz

Πηγή: 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2026 IEEE 56th International Symposium on. :264-269 May, 2026

Relation: 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL)

Markov Chain–Based Policies for Multistage Stochastic Integer Linear Programming with an Application to Disaster Relief Logistics.

Συγγραφείς: Castro, Margarita¹ (AUTHOR) margarita.castro@uc.cl, Bodur, Merve² (AUTHOR) merve.bodur@ed.ac.uk, Song, Yongjia³ (AUTHOR) yongjis@clemson.edu

Πηγή: Manufacturing & Service Operations Management (M&SOM) (INFORMS). May/Jun2026, Vol. 28 Issue 3, p956-974. 19p.

Θεματικοί όροι: *Markov processes, *Mathematical optimization, *Emergency management, Stochastic programming, Mixed integer linear programming

GNN-MILP-GCRO: A Resilient Power Grid Restoration Framework Based on Graph Neural Networks and Mixed-Integer Linear Programming

Συγγραφείς: Huang, Xinjie, Chen, Long, Liu, Junjie, Wang, Shiji, Tang, Haijing

Πηγή: 2026 2nd International Conference on Energy Systems and Electrical Engineering (ESEE) Energy Systems and Electrical Engineering (ESEE), 2026 2nd International Conference on. :182-186 Mar, 2026

Relation: 2026 2nd International Conference on Energy Systems and Electrical Engineering (ESEE)

Residential Electrical Energy Management Based on Demand Based Tariff Using Mixed-Integer Linear Programming (MILP)

Συγγραφείς: Shinkhede, Sheetal, Vishwakarma, Dharmistha

Πηγή: 2026 International Conference on Electrical and Electronics for Sustainable Innovations (ICEESI) Electrical and Electronics for Sustainable Innovations (ICEESI), 2026 International Conference on. :1-4 Mar, 2026

Relation: 2026 International Conference on Electrical and Electronics for Sustainable Innovations (ICEESI)

Virtual Power Plant Intraday Rolling Optimization: A Mixed-Integer Linear Programming Approach

Συγγραφείς: Gong, Taorong, Shi, Kun, Zhang, Ziqian, Gong, Feixiang

Πηγή: 2026 8th Asia Energy and Electrical Engineering Symposium (AEEES) Energy and Electrical Engineering Symposium (AEEES), 2026 8th Asia. :1425-1429 Mar, 2026

Relation: 2026 8th Asia Energy and Electrical Engineering Symposium (AEEES)

A Mixed Integer Linear Programming Approach to Bridge the Gap Between Diet Plans and Realistic Menus*

Συγγραφείς: Benvenuti, Luca, Santis, Alberto De

Πηγή: 2026 34th Mediterranean Conference on Control and Automation (MED) Control and Automation (MED), 2026 34th Mediterranean Conference on. :497-502 Jun, 2026

Relation: 2026 34th Mediterranean Conference on Control and Automation (MED)

Optimizing Physician Scheduling at Kempten Hospital: A Database-Driven Mathematical Programming Approach.

Συγγραφείς: Sindermann, Karina¹ (AUTHOR) ksindermann2@huskers.unl.edu, Schüller, Markus² (AUTHOR) m.schueller@gorny-gmbh.de, Brunner, Jens O.² (AUTHOR) jens.brunner@uni-siegen.de

Πηγή: INFORMS Journal on Applied Analytics. Jul/Aug2026, Vol. 56 Issue 4, p342-361. 20p.

Θεματικοί όροι: *Mathematical optimization, *Hospital administration, *Relational databases, *Scheduling, *Decision support systems, Mixed integer linear programming, Automation software

Trajectory Planning of Train Platoons in Urban Rail Networks: A Mixed Integer Linear Programming Approach

Συγγραφείς: Yu, Runhan, Yin, Jiateng, Zheng, Wei, Li, Kaicheng

Πηγή: 2025 IEEE 28th International Conference on Intelligent Transportation Systems (ITSC) Intelligent Transportation Systems (ITSC), 2025 IEEE 28th International Conference on. :1073-1078 Nov, 2025

Relation: 2025 IEEE 28th International Conference on Intelligent Transportation Systems (ITSC)

Optimizing district energy systems by integrating Borehole Thermal Energy Storage Using a Mixed-Integer Linear Programming g-function framework with a Multi-Timescale Rolling Horizon method

Συγγραφείς: Yang, Jiahui, Soga, Kenichi, Sulzer, Matthias, Chen, Kecheng

Πηγή: Energy. 354

Θεματικοί όροι: 40 Engineering (for-2020), 4009 Electronics, Sensors and Digital Hardware (for-2020), 7 Affordable and Clean Energy (sdg), Mixed integer linear programming (MILP), Distributed energy system (DES) optimization, Borehole thermal energy storage (BTES), The g-function method, method, Modelica validation, UC berkeley energy system, BTES long-term performance, Rolling horizon with multi-timescale (RH-MTS) method, 0913 Mechanical Engineering (for), 0914 Resources Engineering and Extractive Metallurgy (for), 0915 Interdisciplinary Engineering (for), Energy (science-metrix), 4008 Electrical engineering (for-2020), 4012 Fluid mechanics and thermal engineering (for-2020), 4017 Mechanical engineering (for-2020)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/1r95j7rd
https://escholarship.org/content/qt1r95j7rd/qt1r95j7rd.pdf

A Mixed-Integer Linear Programming Formulation for Distribution Network Reconfiguration

Συγγραφείς: Graine, A., Gaubert, J.

Πηγή: IEEE Access Access, IEEE. 14:9359-9383 2026

Multisatellite Scheduling via Reinforcement Learning-Based Mixed Integer Linear Programming

Συγγραφείς: Qu, Q., Liu, K., Lu, J.

Πηγή: IEEE Transactions on Aerospace and Electronic Systems IEEE Trans. Aerosp. Electron. Syst. Aerospace and Electronic Systems, IEEE Transactions on. 62:1478-1490 2026

A Mixed-Integer Linear Programming Approach for Optimal Energy Management in End-User Microgrids

Συγγραφείς: Chen, Xiao Xiao^{Aff1, Aff2}, Lera, Isaac^Aff1, Guerrero, Carlos^{Aff1, IDs40313026013234_cor1}

Πηγή: Journal of Control, Automation and Electrical Systems: formerly CONTROLE & AUTOMAÇÃO. :1-14

A Novel Mixed-Integer Linear Programming Framework for AC Optimal Power Flow and Voltage Stability in Renewable-Rich Power Systems

Συγγραφείς: Greubel, G., Pillay, B., Kalam, A., Agarwal, A.

Πηγή: IEEE Access Access, IEEE. 14:116170-116197 2026

A Novel Hybrid Method Combining Mixed-integer Linear Programming and Pinch Analysis for Technology Selection

Συγγραφείς: Mohamad Zaki, Mohamad Akmal^Aff1, Foo, Dominic C. Y.^Aff2, Ooi, Jecksin^Aff1, Lim, Chun Hsion^{Aff1, IDs41660025006611_cor1}

Πηγή: Process Integration and Optimization for Sustainability. 10(4):1869-1888

An Exact Linearization-Based Refinement Algorithm to the Carrier-Vehicle Traveling Salesman Problem.

Συγγραφείς: Vieira, Bruno S.^1,2 bruno.vieira@ifsc.edu.br, Frazzon, Enzo M.³ enzo.frazzon@ufsc.br, Coelho, Leandro C.⁴ leandro.coelho@fsa.ulaval.ca

Πηγή: Transportation Science (INFORMS). Jul/Aug2026, Vol. 60 Issue 4, p589-607. 19p.

Θεματικοί όροι: *Traveling salesman problem, *Mathematical optimization, *Algorithms, *Drone aircraft delivery, Mixed integer linear programming

Mixed Integer Linear Programming for Ground Infrastructure and Inter-Satellite Link Design in Satellite Constellations

Συγγραφείς: Pachler, N., Crawley, E.F., Cameron, B.G.

Πηγή: IEEE Transactions on Vehicular Technology IEEE Trans. Veh. Technol. Vehicular Technology, IEEE Transactions on. 75(1):796-810 Jan, 2026

Complex Network-Based Pre-disaster Protection Optimization of Integrated Energy System with EvoRein-Mixed Integer Linear Programming

Συγγραφείς: Zhang, Chenwei^{Aff1, Aff2}, Wang, Ying^{Aff1, Aff2, IDs11067026097845_cor1}, Wang, Chen^{Aff1, Aff2}, Jin, Yulong^Aff3, Zheng, Tao^Aff3, Zhang, Kaifeng^{Aff1, Aff2}

Πηγή: Networks and Spatial Economics: A Journal of Infrastructure Modeling and Computation. :1-43

Joint Illumination, Power, and Band Allocation for Multi-Beam LEO Satellites With Beam-Hopping Using Mixed-Integer Linear Programming

Συγγραφείς: Zamacola, S.M., Pachler, N., Rodriguez-Osorio, R.M., Cameron, B.G.

Πηγή: IEEE Transactions on Wireless Communications IEEE Trans. Wireless Commun. Wireless Communications, IEEE Transactions on. 25:15710-15724 2026

Strong Group Fair Classification via Optimal Transport and Mixed-Integer Linear Programming

Συγγραφείς: Tao, Yuan^Aff1, Chen, Caihua^Aff2, Jiang, Suhong^{Aff3, IDs10898025015251_cor1}, Wang, Qingyang^{Aff2, IDs10898025015251_cor2}

Πηγή: Journal of Global Optimization: An International Journal Dealing with Theoretical and Computational Aspects of Seeking Global Optima and Their Applications in Science, Management and Engineering. 95(3):757-778

Mixed-Integer Linear Programming for Supply Chain Network Design, Evaluating Upstream-Downstream Sustainability Impacts

Συγγραφείς: Shahzileh, Zahra Honarmand, Dodonov, Viktor, Chechurin, Leonid

Πηγή: 2025 International Conference on Sustainable Technology and Engineering (i-COSTE) Sustainable Technology and Engineering (i-COSTE), 2025 International Conference on. :1-6 Dec, 2025

Relation: 2025 International Conference on Sustainable Technology and Engineering (i-COSTE)