Výsledky vyhľadávania - (logic OR login) and constraint programming keywords constraint programming*

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

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

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

Predmety: 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.

Autori: Cao, Qiangnan Zou, Xin Zhang, Lihui

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

Predmety: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

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

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

Zdroj: 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.

Autori: Alrezaamiri, Hamidreza Ebrahimnejad, Ali

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

Predmety: 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.

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

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

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

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

Autori: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET a ďalší

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

Predmety: 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.

Autori: Zhang, Jiachen Beck, J. Christopher

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

Predmety: 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.

Autori: Li, Jinghua Huang, Wenhao Song, Dening a ďalší

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

Predmety: 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.

Autori: Martin, Mateus Alvarez, Aldair De La Vega, Jonathan a ďalší

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

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

GPU Accelerated Compact-Table Propagation.

Autori: SANTI, ENRICO DOVIER, AGOSTINO FORMISANO, ANDREA a ďalší

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

Predmety: CONSTRAINT programming, GRAPHICS processing units, MODEL validation

Bounded satisfiability checking of FOL∗ formulas with aggregations.

Autori: Feng, Nick Marsso, Lina Kholodetska, Yuliia a ďalší

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

Predmety: 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.

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

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

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

Turret-index optimisation with mathematical programming and metaheuristic approaches.

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

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

Predmety: CONSTRAINT programming, MATHEMATICAL programming, MATHEMATICAL optimization, INTEGER programming, METAHEURISTIC algorithms

Resource-constrained repetitive project scheduling with soft logic.

Autori: Zou, Xin Rong, Zhuang

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

Predmety: PRODUCTION scheduling, CONSTRAINT programming, SCHEDULING, HOTEL renovation, INDUSTRIAL efficiency

Mutation testing for temporal alloy models (extended version).

Autori: Jovanovic, Ana Sullivan, Allison

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

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

Constraint Programming for Automatic User Interface Construction.

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

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

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

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

Autori: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

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

Predmety: 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.

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

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

Predmety: 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.

Autori: Xiong, Fuli Jing, Lin Xiong, Ningxin a ďalší

Zdroj: 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.

Autori: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

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

Predmety: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages