Search Results - (logic OR login) and constraint programming general terms algorithms
-
1
Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models
ISSN: 1432-7643, 1433-7479Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Published in Soft computing (Berlin, Germany) (01.12.2023)“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Get full text
Journal Article -
2
A new algorithm for resolution of the quadratic programming problem with fuzzy relation inequality constraints
ISSN: 0360-8352, 1879-0550Published: New York Elsevier Ltd 01.06.2014Published in Computers & industrial engineering (01.06.2014)“…•A minimization problem of quadratic function with fuzzy relation inequality constraints is studied…”
Get full text
Journal Article -
3
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
Published: IEEE 29.06.2021Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Get full text
Conference Proceeding -
4
Waste management with recourse: An inexact dynamic programming model containing fuzzy boundary intervals in objectives and constraints
ISSN: 0301-4797, 1095-8630, 1095-8630Published: Kidlington Elsevier Ltd 01.09.2010Published in Journal of environmental management (01.09.2010)“…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…”
Get full text
Journal Article -
5
A hybrid particle swarm optimization algorithm for satisficing data envelopment analysis under fuzzy chance constraints
ISSN: 0957-4174, 1873-6793Published: Amsterdam Elsevier Ltd 01.03.2014Published in Expert systems with applications (01.03.2014)“…•The designed hybrid PSO algorithm outperforms the hybrid GA in terms of runtime and solution quality…”
Get full text
Journal Article -
6
Lovász-Type Theorems and Game Comonads
Published: IEEE 29.06.2021Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… 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…”
Get full text
Conference Proceeding -
7
Interactive two-stage stochastic fuzzy programming for water resources management
ISSN: 0301-4797, 1095-8630, 1095-8630Published: Kidlington Elsevier Ltd 01.08.2011Published in Journal of environmental management (01.08.2011)“…In this study, an interactive two-stage stochastic fuzzy programming (ITSFP) approach has been developed through incorporating an interactive fuzzy resolution (IFR…”
Get full text
Journal Article -
8
Comparing constraint programming and mathematical programming approaches to discrete optimisation-the change problem
ISSN: 0160-5682, 1476-9360Published: London Taylor & Francis 01.06.1999Published in The Journal of the Operational Research Society (01.06.1999)“…This paper is aimed at researchers and practitioners in Operational Research who are interested in the new field of Constraint Programming/Constraint Logic Programming…”
Get full text
Journal Article -
9
Fuzzy Robust Credibility-Constrained Programming for Environmental Management and Planning
ISSN: 1096-2247, 2162-2906Published: Pittsburgh, PA Taylor & Francis Group 01.06.2010Published in Journal of the Air & Waste Management Association (1995) (01.06.2010)“…In this study, a fuzzy robust credibility-constrained programming (FRCCP) is developed and applied to the planning for waste management systems…”
Get full text
Journal Article -
10
Solving the three-dimensional open-dimension rectangular packing problem: A constraint programming model
ISSN: 0305-0548, 1873-765XPublished: Elsevier Ltd 01.07.2024Published in Computers & operations research (01.07.2024)“… To model and solve the 3D-ODRPP, we propose a constraint programming model based on a position-free modeling approach with logic operators…”
Get full text
Journal Article -
11
Anytime Probabilistically Constrained Provably Convergent Online Belief Space Planning
ISSN: 1552-3098, 1941-0468Published: IEEE 2025Published in IEEE transactions on robotics (2025)“… 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…”
Get full text
Journal Article -
12
Simplex-Based Proximal Multicategory Support Vector Machine
ISSN: 0018-9448, 1557-9654Published: New York IEEE 01.04.2023Published in IEEE transactions on information theory (01.04.2023)“… 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…”
Get full text
Journal Article -
13
Hybrid SOA–SQP algorithm for dynamic economic dispatch with valve-point effects
ISSN: 0360-5442Published: Kidlington Elsevier Ltd 01.12.2010Published in Energy (Oxford) (01.12.2010)“…This paper proposes a hybrid technique combining a new heuristic algorithm named seeker optimization algorithm (SOA…”
Get full text
Journal Article -
14
Local consistency as a reduction between constraint satisfaction problems
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 17.05.2024Published in arXiv.org (17.05.2024)“…We study the use of local consistency methods as reductions between constraint satisfaction problems (CSPs…”
Get full text
Paper -
15
Performance evaluation of meta-heuristic algorithms for designing multi-objective multi-product multi-echelon supply chain network
ISSN: 1432-7643, 1433-7479Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2023Published in Soft computing (Berlin, Germany) (01.09.2023)“… The exact ε-constraint algorithm embedded in the General Algebraic Modeling System is used to validate the results of the three algorithms…”
Get full text
Journal Article -
16
Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming
ISSN: 0957-4174, 1873-6793Published: Elsevier Ltd 01.11.2023Published in Expert systems with applications (01.11.2023)“… Still, HE is not widespread due to limitations in terms of efficiency and usability. Among the challenges of HE, scheme parametrization (i.e…”
Get full text
Journal Article -
17
FSILP: Fuzzy-stochastic-interval linear programming for supporting municipal solid waste management
ISSN: 0301-4797, 1095-8630, 1095-8630Published: Kidlington Elsevier Ltd 01.04.2011Published in Journal of environmental management (01.04.2011)“… coexistence, the solution to the conventional linear programming problems of integrating fuzzy method with the other two was inefficient…”
Get full text
Journal Article -
18
A secure lightweight mutual authentication scheme in Social Industrial IoT environment
ISSN: 0920-8542, 1573-0484Published: New York Springer US 01.08.2023Published in The Journal of supercomputing (01.08.2023)“…The Social Industrial Internet of Things (SIIoT) is a new paradigm that integrates social networking features into the Industrial IoT (IIoT) environment to…”
Get full text
Journal Article -
19
Adaptive Racing Sampling Based Immune Optimization Approach for Nonlinear Multi-Objective Chance Constrained Programming
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 2024Published in IEEE access (2024)“…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…”
Get full text
Journal Article -
20
Automated Decomposition of Concurrent Programs for Asynchronous Logic Synthesis
ISSN: 2643-1483Published: IEEE 11.05.2025Published in Proceedings / International Symposium on Asynchronous Circuit and Systems (11.05.2025)“… We formulate the problem of extracting these sub-processes in terms of finding cuts that satisfy certain constraints in a graph, and propose a heuristic to find these cuts that performs well…”
Get full text
Conference Proceeding