Search Results - Logic/ Mixed-Integer Programming

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

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

Authors: Gustavo A. Cardona Disha Kamale Cristian-Ioan Vasile

Source: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. :1-12

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-Integer Programming for Signal Temporal Logic With Fewer Binary Variables

Authors: Vincent Kurtz Hai Lin

Source: IEEE Control Systems Letters. 6:2635-2640

Subject Terms: FOS: Computer and information sciences, Computer Science - Robotics, 0209 industrial biotechnology, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), 02 engineering and technology, Electrical Engineering and Systems Science - Systems and Control, Robotics (cs.RO)

Access URL: http://arxiv.org/abs/2204.06367

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

Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables

Authors: Kurtz, Vince Lin, Hai

Index Terms: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Robotics, text

URL: http://arxiv.org/abs/2204.06367

Resource leveling strategy integrating soft logic and crew interruption in repetitive projects.

Authors: Yao, Zongyu Zhang, Lihui Luo, Jing et al.

Source: Computer-Aided Civil & Infrastructure Engineering; 8/18/2025, Vol. 40 Issue 20, p3118-3146, 29p

Subject Terms: RESOURCE allocation, CONSTRUCTION projects, FUZZY logic, RESOURCE management, OPTIMIZATION algorithms, MIXED integer linear programming, PROJECT management

Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling

Authors: Karlsson, Emil Rönnberg, Elina

Source: Computers & Operations Research Instance dataset for a multiprocessor scheduling problem withmultiple time windows and time lags: Similar instances with largedifferences in difficulty. 146

Subject Terms: Logic-based Benders decomposition, Acceleration technique, Cut strengthening, Mixed-integer programming, Constraint programming, Avionics scheduling

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186585
https://liu.diva-portal.org/smash/get/diva2:1677948/FULLTEXT01.pdf

Optimal Dispatch of Microgrids in Islanded and Grid-Connected Modes: A Mixed-Integer Linear Programming Approach for Cost Minimization and Renewable Energy Integration

Authors: Bo Chang

Source: Applied and Computational Engineering. 169:186-197

A new approach to integrating mixed integer programming and constraint logicprogramming: A new approach to integrating mixed integer programming and constraint logic programming

Authors: Mark Wallace Mozafar T. Hajian Robert Rodošek

Source: Annals of Operations Research. 86:63-87

Subject Terms: constraint logic programming, Mixed integer programming, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, hoist scheduling, progressive party problem, 02 engineering and technology

File Description: application/xml

Access URL: https://zbmath.org/1299340
https://doi.org/10.1023/a:1018904229454
https://research.monash.edu/en/publications/a-new-approach-to-integrating-mixed-integer-programming-and-const
https://dblp.uni-trier.de/db/journals/anor/anor86.html#RodosekWH99
https://econpapers.repec.org/RePEc:spr:annopr:v:86:y:1999:i:0:p:63-87:10.1023/a:1018904229454
https://socionet.ru/publication.xml?h=repec:spr:annopr:v:86:y:1999:i:0:p:63-87:10.1023/a:1018904229454
https://ideas.repec.org/a/spr/annopr/v86y1999i0p63-8710.1023-a1018904229454.html
https://link.springer.com/article/10.1023/A:1018904229454

APPLICATION OF MIXED INTEGER LINEAR PROGRAMMING IN THE GENERATION OF VECTORS WITH MAXIMUM DATAPATH COVERAGE FOR COMBINATIONAL LOGIC CIRCUITS

Authors: Juan A. Montiel-Nelson Saeid Nooshabadi José Carlos Garcia-Montesdeoca et al.

Contributors: Juan A. Montiel-Nelson Saeid Nooshabadi José Carlos Garcia-Montesdeoca et al.

Source: Journal of Circuits, Systems and Computers[ISSN 0218-1266],v. 19, p. 1497-1516
accedaCRIS portal de investigación de la Universidad de las Palmas de Gran Canaria
instname

Subject Terms: mixed integer linear programming (MILP), datapath coverage, 3307 Tecnología electrónica, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Vector generation, VLSI

Access URL: http://hdl.handle.net/10553/49648
https://www.worldscientific.com/doi/abs/10.1142/S0218126610006785
https://dblp.uni-trier.de/db/journals/jcsc/jcsc19.html#SosaMGN10

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

Logic-Based Benders Decomposition for Unmanned Electric Tugboat Scheduling Considering Battery-Swapping Operations.

Authors: Ma, Guodong Huang, Yongming Zhang, Guobao et al.

Source: Journal of Marine Science & Engineering; Sep2025, Vol. 13 Issue 9, p1633, 23p

Subject Terms: SCHEDULING, MIXED integer linear programming, TUGBOATS, MATHEMATICAL programming, MATHEMATICAL optimization

Logic-Based Benders Decomposition for Unmanned Electric Tugboat Scheduling Considering Battery-Swapping Operations

Authors: Guodong Ma Yongming Huang Guobao Zhang et al.

Source: Journal of Marine Science and Engineering, Vol 13, Iss 9, p 1633 (2025)

Subject Terms: unmanned electric tugboat, tugboat scheduling, battery-swapping, mixed-integer linear programming, logic-based Benders decomposition, Naval architecture. Shipbuilding. Marine engineering, VM1-989, Oceanography, GC1-1581

File Description: electronic resource

Relation: https://www.mdpi.com/2077-1312/13/9/1633; https://doaj.org/toc/2077-1312

Access URL: https://doaj.org/article/a0f7cf500ca4447089b55fb0818d4ca0

Mixed integer programming for a special logic constrained optimal control problem

Authors: Joseph Noailles Dorin Preda

Source: Mathematical Programming. 103:309-333

Subject Terms: Mixed integer quadratic problems, mixed integer nonlinear problems, optimal control, Numerical mathematical programming methods, Mixed integer programming, Other numerical methods in calculus of variations, 0211 other engineering and technologies, 02 engineering and technology, decision variables, Optimality conditions for solutions belonging to restricted classes (Lipschitz controls, bang-bang controls, etc.), logical constraints

File Description: application/xml

Access URL: https://tel.archives-ouvertes.fr/tel-00008881v2/file/tel-00008978.pdf
https://zbmath.org/2175965
https://doi.org/10.1007/s10107-005-0584-5
https://dblp.uni-trier.de/db/journals/mp/mp103.html#PredaN05
https://link.springer.com/article/10.1007%2Fs10107-005-0584-5

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming

Authors: Yunus Emre Sahin Stefano Di Cairano Rien Quirynen

Source: 2020 American Control Conference (ACC).

Subject Terms: 0209 industrial biotechnology, 11. Sustainability, 02 engineering and technology

Access URL: https://ieeexplore.ieee.org/abstract/document/9147917
https://doi.org/10.23919/ACC45564.2020.9147917
https://dblp.uni-trier.de/db/conf/amcc/amcc2020.html#SahinQC20

Enhanced logic-based Benders decomposition methods for the distributed heterogeneous non-permutation flow shop scheduling problem.

Authors: Xiong, Fuli Jing, Lin Xiong, Ningxin et al.

Source: International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p10517-10554. 38p.

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

New Hybrid Method for Buffer Positioning and Production Control Using DDMRP Logic in Smart Manufacturing.

Authors: Habbadi, Sahar El Mouayni, Ismail Herrou, Brahim et al.

Source: Journal of Manufacturing & Materials Processing; Jul2025, Vol. 9 Issue 7, p219, 20p

Subject Terms: BUFFER inventories, MIXED integer linear programming, PRODUCTION control, AGILE manufacturing systems, PRODUCTION scheduling, GENETIC algorithms, INVENTORY control, DEMAND forecasting

A fix-propagate-repair heuristic for mixed integer programming

Authors: Salvagnin, Domenico Roberti, Roberto Fischetti, Matteo

Source: Mathematical Programming Computation. 17:111-139

Subject Terms: Constraint propagation, Heuristics, Mixed integer programming, Solution repair

File Description: application/pdf