Suchergebnisse - (logic OR login) and constraint programming general terms algorithms

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models von Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint …”
Volltext

A new algorithm for resolution of the quadratic programming problem with fuzzy relation inequality constraints von Abbasi Molai, Ali

“… •A minimization problem of quadratic function with fuzzy relation inequality constraints is studied …”
Volltext

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses von Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types …”
Volltext

Waste management with recourse: An inexact dynamic programming model containing fuzzy boundary intervals in objectives and constraints von Tan, Q., Huang, G.H., Cai, Y.P.

“… The existing inexact optimization methods based on interval-parameter linear programming can hardly address problems where coefficients in objective functions are subject to dual uncertainties …”
Volltext

A hybrid particle swarm optimization algorithm for satisficing data envelopment analysis under fuzzy chance constraints von Meng, Mingqiang

“… •The designed hybrid PSO algorithm outperforms the hybrid GA in terms of runtime and solution quality …”
Volltext

Lovász-Type Theorems and Game Comonads von Dawar, Anuj, Jakl, Tomas, Reggio, Luca

“… As special cases of this general theorem, we obtain two variants of Lovász' theorem: the result by Dvořák (2010) that characterises equivalence of graphs in the k …”
Volltext

Interactive two-stage stochastic fuzzy programming for water resources management von Wang, S., Huang, G.H.

“… In this study, an interactive two-stage stochastic fuzzy programming (ITSFP) approach has been developed through incorporating an interactive fuzzy resolution (IFR …”
Volltext

Comparing constraint programming and mathematical programming approaches to discrete optimisation-the change problem von Heipcke, S

“… This paper is aimed at researchers and practitioners in Operational Research who are interested in the new field of Constraint Programming/Constraint Logic Programming …”
Volltext

Fuzzy Robust Credibility-Constrained Programming for Environmental Management and Planning von Zhang, Yimei, Huang, Guohe

“… In this study, a fuzzy robust credibility-constrained programming (FRCCP) is developed and applied to the planning for waste management systems …”
Volltext

Solving the three-dimensional open-dimension rectangular packing problem: A constraint programming model von Martin, Mateus, Alves de Queiroz, Thiago, Morabito, Reinaldo

“… To model and solve the 3D-ODRPP, we propose a constraint programming model based on a position-free modeling approach with logic operators …”
Volltext

Anytime Probabilistically Constrained Provably Convergent Online Belief Space Planning von Zhitnikov, Andrey, Indelman, Vadim

“… We present an anytime approach employing the Monte Carlo Tree Search (MCTS) method in continuous domains in terms of states, actions and observations and general-belief dependent reward and payoff operators …”
Volltext

Simplex-Based Proximal Multicategory Support Vector Machine von Fu, Sheng, Chen, Piao, Ye, Zhisheng

“… a sum-to-zero constrained quadratic programming problem. In this study, we propose a general refinement of regular MSVM, termed as the simplex-based proximal MSVM (SPMSVM …”
Volltext

Hybrid SOA–SQP algorithm for dynamic economic dispatch with valve-point effects von Sivasubramani, S., Swarup, K.S.

“… This paper proposes a hybrid technique combining a new heuristic algorithm named seeker optimization algorithm (SOA …”
Volltext

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II von Dillig, Isil, Tasiran, Serdar

“… The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019 …”
Volltext

Local consistency as a reduction between constraint satisfaction problems von Dalmau, Victor, Opršal, Jakub

“… We study the use of local consistency methods as reductions between constraint satisfaction problems (CSPs …”
Volltext

Performance evaluation of meta-heuristic algorithms for designing multi-objective multi-product multi-echelon supply chain network von Duffuaa, Salih O., Mohammed, Awsan

“… The exact ε-constraint algorithm embedded in the General Algebraic Modeling System is used to validate the results of the three algorithms …”
Volltext

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming von Cabrero-Holgueras, José, Pastrana, Sergio

“… Still, HE is not widespread due to limitations in terms of efficiency and usability. Among the challenges of HE, scheme parametrization (i.e …”
Volltext

FSILP: Fuzzy-stochastic-interval linear programming for supporting municipal solid waste management von Li, Pu, Chen, Bing

“… coexistence, the solution to the conventional linear programming problems of integrating fuzzy method with the other two was inefficient …”
Volltext

A secure lightweight mutual authentication scheme in Social Industrial IoT environment von Ben Amor, Arij, Jebri, Sarra, Abid, Mohamed, Meddeb, Aref

“… The Social Industrial Internet of Things (SIIoT) is a new paradigm that integrates social networking features into the Industrial IoT (IIoT) environment to …”
Volltext

Adaptive Racing Sampling Based Immune Optimization Approach for Nonlinear Multi-Objective Chance Constrained Programming von Yang, Kai, Zhang, Renchong

“… This work investigates a multi-objective immune optimization approach to solve the general type of nonlinear multi-objective chance constrained programming without prior noise information …”
Volltext