Výsledky vyhledávání - Logic and Constraint Programming Keywords constraint programming

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

Autoři: Pernas-Álvarez, Javier Becerra, José-A. Crespo-Pereira, Diego

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

Témata: 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.

Autoři: Cao, Qiangnan Zou, Xin Zhang, Lihui

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

Témata: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

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

Autoři: Alrezaamiri, Hamidreza Ebrahimnejad, Ali

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

Témata: 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.

Autoři: YUVASHRI, P. SARASWATHI, A. EDALPATTANAH, S. A.

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

Témata: FUZZY logic, TRAPEZOIDS, CONSTRAINT programming, MATHEMATICS, QUANTITATIVE research, MATHEMATICAL optimization, LINEAR programming

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

Autoři: Zheng, Chenyu Li, Zixiang Ponnambalam, S. G.

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

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

Autoři: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET a další

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

Témata: 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.

Autoři: Zhang, Jiachen Beck, J. Christopher

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

Témata: 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.

Autoři: Li, Jinghua Huang, Wenhao Song, Dening a další

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

Témata: CONSTRAINT programming, LINEAR programming, BUILDING sites, TALL buildings, PARALLEL processing

GPU Accelerated Compact-Table Propagation.

Autoři: SANTI, ENRICO DOVIER, AGOSTINO FORMISANO, ANDREA a další

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

Témata: CONSTRAINT programming, GRAPHICS processing units, MODEL validation

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

Autoři: Martin, Mateus Alvarez, Aldair De La Vega, Jonathan a další

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

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

Bounded satisfiability checking of FOL∗ formulas with aggregations.

Autoři: Feng, Nick Marsso, Lina Kholodetska, Yuliia a další

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

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

Resource-constrained repetitive project scheduling with soft logic.

Autoři: Zou, Xin Rong, Zhuang

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

Témata: PRODUCTION scheduling, CONSTRAINT programming, SCHEDULING, HOTEL renovation, INDUSTRIAL efficiency

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

Autoři: Işık, Eyüp Ensar Yildiz, Seyda Topaloglu

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

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

Turret-index optimisation with mathematical programming and metaheuristic approaches.

Autoři: Baykasoglu, Adil Yoruk, Elif Topaloglu Yildiz, Seyda

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

Témata: CONSTRAINT programming, MATHEMATICAL programming, MATHEMATICAL optimization, INTEGER programming, METAHEURISTIC algorithms

Constraint Programming for Automatic User Interface Construction.

Autoři: Lozov, P. A. Kosarev, D. S. Boulytchev, D. Yu.

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

Témata: GRAPHICAL user interfaces, IMAGE processing software, CONSTRAINT programming, ARTIFICIAL intelligence, USER interfaces

Mutation testing for temporal alloy models (extended version).

Autoři: Jovanovic, Ana Sullivan, Allison

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

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

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

Autoři: Abreu, Levi R. Nagano, Marcelo S. Prata, Bruno A.

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

Témata: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

Constraint programming have been identifying as promising technique for efficiently solving discrete optimization problem.

Autoři: PANDEY, AKASH GUPTA, UMESH KUMAR

Zdroj: Journal of Ultra Scientist of Physical Sciences - Section A (Mathematics); 2023, Vol. 35 Issue 2, p12-21, 10p

Témata: LOGIC programming, CONSTRAINT algorithms, OPERATIONS research, CONSTRAINT programming, ALGORITHMS

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

Autoři: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

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

Témata: SATISFIABILITY (Computer science), CONSTRAINT programming, ALGORITHMS, MODULAR design, LOGIC programming, MODEL validation

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

Autoři: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

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

Témata: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages