Search Results - (logic OR login) AND constraint programming general terms algorithms*

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

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

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)

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 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

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

PSPACE-Completeness of Reversible Deterministic Systems.

Authors: Demaine, Erik D. Hearn, Robert A. Hendrickson, Dylan et al.

Source: International Journal of Foundations of Computer Science; Nov2025, Vol. 36 Issue 7, p1041-1062, 22p

Subject Terms: REVERSIBLE computing, COMPUTATIONAL complexity, DETERMINISTIC algorithms, PLANNING techniques, CONSTRAINT programming

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

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

Solving multi-scenario hybrid flow shop scheduling problem based on an improved probe machine model.

Authors: Tian, Xiang Kong, Yang Liu, Xiyu

Source: PLoS ONE; 9/3/2025, Vol. 20 Issue 9, p1-39, 39p

Subject Terms: FLOW shop scheduling, COMBINATORIAL optimization, DATA libraries, MANUFACTURING industries, SCHEDULING, BENCHMARK problems (Computer science), CONSTRAINT 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 Structure-Aware and Condition-Constrained Algorithm for Text Recognition in Power Cabinets.

Authors: Liu, Yang Li, Shilun Zhang, Liang

Source: Electronics (2079-9292); Aug2025, Vol. 14 Issue 16, p3315, 27p

Subject Terms: TEXT recognition, OPTICAL character recognition, ALGORITHMS, REAL-time computing, CONSTRAINT programming, ELECTRONIC equipment enclosures

Key Maker Algorithm: A Novel Human-Based Metaheuristic for Constrained Optimization.

Authors: Zraiqat, Amjed Al Sayyed, Omar Al Soudi, Maha et al.

Source: International Journal of Intelligent Engineering & Systems; 2025, Vol. 18 Issue 9, p688-699, 12p

Subject Terms: METAHEURISTIC algorithms, CONSTRAINED optimization, CONSTRAINT programming, INVENTIONS, LOCKSMITHING

Integrating Cardinality Constraints into Constraint Logic Programming with Sets.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Source: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p468-502, 35p

Subject Terms: CONSTRAINT programming, LOGIC programming, DATA structures, SOFTWARE verification, LINEAR programming, SATISFIABILITY (Computer science)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Authors: Wu, Hao Wang, Qiuye Xue, Bai et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-35, 35p

Subject Terms: SEMIDEFINITE programming, POLYNOMIALS, CONSTRAINT programming, INVARIANT theory, ALGORITHMS, ROBUST optimization, CONSTRAINT satisfaction

Improving ASP-Based ORS Schedules through Machine Learning Predictions.

Authors: BRUNO, PIERANGELA DODARO, CARMINE GALATÀ, GIUSEPPE et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p558-578, 21p

Subject Terms: MACHINE learning, SCHEDULING, CONSTRAINT programming, RESOURCE allocation, OPERATING rooms, METADATA

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Authors: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Selective Unification in (Constraint) Logic Programming^*.

Authors: Mesnard, Fred Payet, Étienne Vidal, Germán et al.

Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p359-383, 25p

Subject Terms: OBJECT-oriented programming, CONSTRAINT programming, LOGIC programming, ALGORITHMS

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