Search Results - (logic OR login) and constraint programming keywords constraint programming~

A constraint programming-based decomposition strategy for the block assembly scheduling problem in shipbuilding.

Authors: Pernas-Álvarez, Javier Becerra, José-A. Crespo-Pereira, Diego

Source: International Journal of Production Research; Oct2025, Vol. 63 Issue 20, p7617-7636, 20p

Subject Terms: CONSTRAINT programming, SHIPBUILDING, PRODUCTION planning, BUFFER storage (Computer science), RESOURCE allocation, PRODUCTION scheduling, SCHEDULING

A Flexible Scheduling Framework for Repetitive Construction Projects Based on Constraint Programming.

Authors: Cao, Qiangnan Zou, Xin Zhang, Lihui

Source: Journal of Construction Engineering & Management; Jul2025, Vol. 151 Issue 7, p1-14, 14p

Subject Terms: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms.

Authors: Zheng, Chenyu Li, Zixiang Ponnambalam, S. G.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10468-10489, 22p

Optimal Selection of Software Requirements Using Fuzzy Inference System with Customer Dissatisfaction Constraint.

Authors: Alrezaamiri, Hamidreza Ebrahimnejad, Ali

Source: Journal of Intelligent & Fuzzy Systems; Dec2025, Vol. 49 Issue 6, p1489-1512, 24p

Subject Terms: CUSTOMER satisfaction, FUZZY logic, SOFTWARE requirements specifications, CONSTRAINT programming, TIME complexity, SCALABILITY, ARTIFICIAL intelligence, COMPUTER software development

AN EFFICIENT SOLUTION FOR INTERVAL VALUED TRAPEZOIDAL FUZZY BOUNDED VARIABLE PROBLEM AND ITS REAL LIFE APPLICATION.

Authors: YUVASHRI, P. SARASWATHI, A. EDALPATTANAH, S. A.

Source: TWMS Journal of Applied & Engineering Mathematics; 2025, Vol. 15 Issue 6, p1369-1388, 20p

Subject Terms: FUZZY logic, TRAPEZOIDS, CONSTRAINT programming, MATHEMATICS, QUANTITATIVE research, MATHEMATICAL optimization, LINEAR programming

ASP-FZN: A Translation-Based Constraint Answer Set Solver.

Authors: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p649-667, 19p

Subject Terms: CONSTRAINT programming, CONSTRAINT satisfaction, LINEAR equations, BENCHMARK problems (Computer science), PROGRAMMING languages

Domain-Independent Dynamic Programming and Constraint Programming Approaches for Assembly Line Balancing Problems with Setups.

Authors: Zhang, Jiachen Beck, J. Christopher

Source: INFORMS Journal on Computing; Jul/Aug2025, Vol. 37 Issue 4, p977-997, 21p

Subject Terms: DYNAMIC programming, CONSTRAINT programming, TIME, DESIGN, ASSEMBLY line balancing, WORK design

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

A constraint programming model and a hybrid iterated local search algorithm for solving an aircraft recovery problem in the oil and gas industry.

Authors: Martin, Mateus Alvarez, Aldair De La Vega, Jonathan et al.

Source: Journal of the Operational Research Society; Dec2025, Vol. 76 Issue 12, p2494-2506, 13p

Subject Terms: CONSTRAINT programming, FLIGHT planning (Aeronautics), EMPIRICAL research, OPTIMIZATION algorithms, MATHEMATICAL optimization, PETROLEUM industry, TRANSPORT workers

GPU Accelerated Compact-Table Propagation.

Authors: SANTI, ENRICO DOVIER, AGOSTINO FORMISANO, ANDREA et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p756-774, 19p

Subject Terms: CONSTRAINT programming, GRAPHICS processing units, MODEL validation

Bounded satisfiability checking of FOL∗ formulas with aggregations.

Authors: Feng, Nick Marsso, Lina Kholodetska, Yuliia et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p282-315, 34p

Subject Terms: SATISFIABILITY (Computer science), FIRST-order logic, CONSTRAINT programming, APPROXIMATION algorithms, DATA protection laws, DATA privacy, FORMAL methods (Computer science)

Integer and constraint programming models for the straight and U-shaped assembly line balancing with hierarchical worker assignment problem.

Authors: Işık, Eyüp Ensar Yildiz, Seyda Topaloglu

Source: International Journal of Production Research; Jul2024, Vol. 62 Issue 14, p5269-5292, 24p

Subject Terms: ASSEMBLY line balancing, CONSTRAINT programming, INTEGER programming, ASSIGNMENT problems (Programming), ASSEMBLY line methods, DISTRIBUTION planning

Turret-index optimisation with mathematical programming and metaheuristic approaches.

Authors: Baykasoglu, Adil Yoruk, Elif Topaloglu Yildiz, Seyda

Source: International Journal of Production Research; Mar2025, Vol. 63 Issue 6, p2248-2267, 20p

Subject Terms: CONSTRAINT programming, MATHEMATICAL programming, MATHEMATICAL optimization, INTEGER programming, METAHEURISTIC algorithms

Resource-constrained repetitive project scheduling with soft logic.

Authors: Zou, Xin Rong, Zhuang

Source: Engineering Construction & Architectural Management (09699988); 2025, Vol. 32 Issue 4, p2397-2429, 33p

Subject Terms: PRODUCTION scheduling, CONSTRAINT programming, SCHEDULING, HOTEL renovation, INDUSTRIAL efficiency

Mutation testing for temporal alloy models (extended version).

Authors: Jovanovic, Ana Sullivan, Allison

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p

Subject Terms: COMPUTER software testing, MODEL validation, CONSTRAINT programming, MODELING languages (Computer science), MATHEMATICAL logic, FAULT diagnosis, DYNAMIC testing

Constraint Programming for Automatic User Interface Construction.

Authors: Lozov, P. A. Kosarev, D. S. Boulytchev, D. Yu.

Source: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p262-273, 12p

Subject Terms: GRAPHICAL user interfaces, IMAGE processing software, CONSTRAINT programming, ARTIFICIAL intelligence, USER interfaces

Golem: a flexible and efficient solver for constrained Horn clauses.

Authors: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

Source: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p143-160, 18p

Subject Terms: SATISFIABILITY (Computer science), CONSTRAINT programming, ALGORITHMS, MODULAR design, LOGIC programming, MODEL validation

A new two-stage constraint programming approach for open shop scheduling problem with machine blocking.

Authors: Abreu, Levi R. Nagano, Marcelo S. Prata, Bruno A.

Source: International Journal of Production Research; Dec2023, Vol. 61 Issue 24, p8560-8579, 20p

Subject Terms: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

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

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p1011-1030, 20p

Subject Terms: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages