Search Results - logic/ mixed-(integer OR interier) programming

STL-based multi-agent motion planning for multiple tasks with complex logic.

Authors: Zhang, Yi Shen, Qian Wu, Shufan et al.

Source: Acta Astronautica. Jan2026:Part A, Vol. 238, p568-579. 12p.

Subject Terms: *MIXED integer linear programming, *ROBOTIC path planning, *PROCESS optimization, *LOGIC, *MULTIAGENT systems, *DRONE aircraft, *CONSTRAINT satisfaction

Mixed logical dynamical modeling and model predictive control of piecewise affine systems with dead zone constraints.

Authors: Cai, Xu Zhang, Xin Lou, Xuyang et al.

Source: International Journal of Robust & Nonlinear Control. 5/10/2025, Vol. 35 Issue 7, p2816-2834. 19p.

Subject Terms: *PIECEWISE affine systems, *LINEAR programming, *PREDICTION models, *LOGIC

Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints.

Authors: Cardona, Gustavo A. Vasile, Cristian-Ioan

Source: International Journal of Robotics Research. Nov2024, Vol. 43 Issue 13, p2089-2111. 23p.

Subject Terms: *MIXED integer linear programming, *ROBOT dynamics, *TRANSPORTATION planning, *FORMAL languages, *ROBOTS

Iterative Rule Extension for Logic Analysis of Data: An MILP-Based Heuristic to Derive Interpretable Binary Classifiers from Large Data Sets.

Authors: Balvert, Marleen^1,2 (AUTHOR) m.balvert@tilburguniversity.edu

Source: INFORMS Journal on Computing. May/Jun2024, Vol. 36 Issue 3, p723-741. 19p.

Subject Terms: *BIG data, *MIXED integer linear programming, *RECEIVER operating characteristic curves, *DATA analysis, *LOGIC

Geographic Terms: IRELAND

Optimizing Aircraft Weight and Balance for Two‐Leg Flight Operations.

Authors: Zhao, Xiangling Dong, Yun Yuan, Yuan

Source: Naval Research Logistics. Aug2025, p1. 28p. 25 Illustrations.

Subject Terms: *RESOURCE allocation, MIXED integer linear programming, UNITIZED cargo systems, CENTER of mass

Logic-based Benders decomposition approaches for the distributed heterogeneous precast production scheduling problem with eligibility constraints and controllable processing times.

Authors: Xiong, Fuli Ping, An Wu, Muming et al.

Source: Expert Systems with Applications. Feb2026:Part A, Vol. 297, pN.PAG-N.PAG. 1p.

Subject Terms: *PRODUCTION scheduling, *MIXED integer linear programming, *CONSTRAINT programming, *MATRIX decomposition, *INDUSTRIALIZED building, *RESOURCE allocation, *SCHEDULING

A hierarchical integrated exact algorithm for multi-level capacitated arc routing problem in waste collection.

Authors: Wei, Chenge Che, Ada Xue, Li

Source: Transportation Research Part E: Logistics & Transportation Review. Dec2025, Vol. 204, pN.PAG-N.PAG. 1p.

Subject Terms: *WASTE management, *EMPIRICAL research, *MOTOR vehicle fleets, *MATHEMATICAL optimization, MIXED integer linear programming, BRANCH & bound algorithms, DECOMPOSITION method, VEHICLE routing problem

Optimisation-based process synthesis of emerging reaction pathways for bio-based polymers and monomers : an effective mixed integer linear programming approach

Authors: Kong, Qingyuan Shah, Nilay

Contributors: Kong, Qingyuan Shah, Nilay

Subject Terms: 668.9

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.769658

Integrated batch process development based on mixed-logic dynamic optimization

Authors: Moreno Benito, Marta

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Química

Thesis Advisors: Espuña, Antonio

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/145068
https://dx.doi.org/10.5821/dissertation-2117-95325

Logic-based benders decomposition methods for the distributed flexible job shop scheduling problem.

Authors: Xiong, Fuli Liu, Hengchong

Source: European Journal of Operational Research. Mar2026, Vol. 329 Issue 3, p778-797. 20p.

Subject Terms: *PRODUCTION scheduling, *MATHEMATICAL optimization, *MATHEMATICAL programming, *RESOURCE allocation, MIXED integer linear programming, CONSTRAINT programming, BENCHMARK problems (Computer science), DECOMPOSITION method

Stereo: Assignment and Scheduling in MPSoC Under Process Variation by Combining Stochastic and Decomposition Approaches.

Authors: Khodabandeloo, Behnam Khonsari, Ahmad Behnam, Payman et al.

Source: IEEE Transactions on Computers. Nov2022, Vol. 71 Issue 11, p2940-2954. 15p.

Subject Terms: *SCHEDULING, STEREO vision (Computer science), MIXED integer linear programming, ELECTRONIC design automation

A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form

Authors: Pavlis, Yannis Recker, Will

Source: Transportation Science, 2009 Feb 01. 43(1), 98-116.

Access URL: https://www.jstor.org/stable/25769435

Robust parallel machine selection and scheduling with uncertain release times.

Authors: Hu, Linyuan Zhang, Yuli Wen, Muyang et al.

Source: European Journal of Operational Research. Dec2025, Vol. 327 Issue 3, p838-856. 19p.

Subject Terms: *PARALLEL processing, *SCHEDULING, *TIME management, ROBUST optimization, MIXED integer linear programming, DECOMPOSITION method

A framework for solving mixed-integer semidefinite programs.

Authors: Gally, Tristan Pfetsch, Marc E. Ulbrich, Stefan

Source: Optimization Methods & Software. Jun2018, Vol. 33 Issue 3, p594-632. 39p.

Subject Terms: *SEMIDEFINITE programming, *MIXED integer linear programming, *DUALITY (Logic), *HEURISTIC, *HEURISTIC algorithms

Mixed integer linear programming formulations for probabilistic constraints

Authors: Vielma, J.P. Ahmed, S. Nemhauser, G.L.

Source: Operations Research Letters. May2012, Vol. 40 Issue 3, p153-158. 6p.

Subject Terms: *OPERATIONS research, *MATHEMATICAL analysis, *INDUSTRIAL engineering, MIXED integer linear programming, DISJUNCTION (Logic)

A Constrained Planning Method: Considering Storage Space Limitations and Soft Logic for Cruise Cabin Assembly Scheduling.

Authors: Li, Jinghua Huang, Wenhao Song, Dening et al.

Source: Journal of Construction Engineering & Management. Aug2025, Vol. 151 Issue 8, p1-14. 14p.

Subject Terms: *CONSTRAINT programming, *LINEAR programming, *BUILDING sites, *TALL buildings, *PARALLEL processing

Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS.

Authors: Chen, Gang Kong, Zhaodan Xie, Longhan

Source: International Journal of Control. Dec2024, Vol. 97 Issue 12, p2935-2950. 16p.

Subject Terms: *SEMIDEFINITE programming, *LINEAR systems, *FORMAL languages, *SATISFACTION, *PARTICIPATORY design

Optimal plate design problem in steel production.

Authors: Zhao, Shengnan Meng, Ying Su, Lijie et al.

Source: International Journal of Production Research. Mar2023, Vol. 61 Issue 5, p1575-1590. 16p. 4 Diagrams, 6 Charts.

Subject Terms: *NONLINEAR programming, *INTEGER programming, *HEURISTIC, HEURISTIC algorithms, STEEL

Distributed mixed-integer fuzzy hierarchical programming for municipal solid waste management. Part I: System identification and methodology development.

Authors: Cheng G Huang G Dong C et al.

Source: Environmental science and pollution research international [Environ Sci Pollut Res Int] 2017 Mar; Vol. 24 (8), pp. 7236-7252. Date of Electronic Publication: 2017 Jan 18.

Publication Type: Journal Article

Journal Info: Publisher: Springer Country of Publication: Germany NLM ID: 9441769 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1614-7499 (Electronic) Linking ISSN: 09441344 NLM ISO Abbreviation: Environ Sci Pollut Res Int Subsets: MEDLINE

MeSH Terms: Fuzzy Logic* , Models, Theoretical* , Solid Waste*, Waste Management/*methods, Beijing ; Nonlinear Dynamics

V\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {V}$$\end{document}-polyhedral disjunctive cuts.

Authors: Balas, Egon Kazachkov, Aleksandr M.

Source: Mathematical Programming. May2025, p1-31.

Subject Terms: *MIXED integer linear programming, *MATHEMATICAL optimization, *DISJUNCTION (Logic), *MATHEMATICAL inequalities, *MATHEMATICAL models