Suchergebnisse - "constraint programming"
-
1
Constraint Programming-Based Verification of COLREG Safety
ISSN: 0364-9059, 1558-1691Veröffentlicht: New York IEEE 01.10.2025Veröffentlicht in IEEE journal of oceanic engineering (01.10.2025)“… With the advent of autonomous surface vehicles (ASVs), the level of detail of the rules and completeness to ensure trustworthy navigation decisions by AI algorithms have become a subject of doubt …”
Volltext
Journal Article -
2
Constraint programming approaches to disassembly line balancing problem with sequencing decisions
ISSN: 0305-0548, 1873-765X, 0305-0548Veröffentlicht: New York Elsevier Ltd 01.02.2021Veröffentlicht in Computers & operations research (01.02.2021)“… •A disassembly line balancing problem with sequencing decisions is considered.•The constraint programming model is able solve the problems with up to 35 tasks …”
Volltext
Journal Article -
3
Scheduling Optimization of Linear Schedule with Constraint Programming
ISSN: 1093-9687, 1467-8667Veröffentlicht: Hoboken Wiley Subscription Services, Inc 01.02.2018Veröffentlicht in Computer-aided civil and infrastructure engineering (01.02.2018)“… ‐type linear projects. Recently, the linear scheduling method (LSM) has demonstrated many advantages for such projects and has become a popular research subject …”
Volltext
Journal Article -
4
Snow plow route optimization: A constraint programming approach
ISSN: 2472-5854, 2472-5862Veröffentlicht: Taylor & Francis 13.11.2020Veröffentlicht in IISE transactions (13.11.2020)“… In this work, we propose a Constraint Programming formulation for a Snow Plow Routing Problem (SPRP …”
Volltext
Journal Article -
5
A new constraint programming model and a linear programming-based adaptive large neighborhood search for the vehicle routing problem with synchronization constraints
ISSN: 0305-0548, 0305-0548Veröffentlicht: New York Elsevier Ltd 01.12.2020Veröffentlicht in Computers & operations research (01.12.2020)“… To solve the problem, we propose a Constraint Programming (CP) model and an Adaptive Large Neighborhood Search (ALNS …”
Volltext
Journal Article -
6
Constraint programming for reservoir operation optimization of Bhumibol dam
ISSN: 2190-5487, 2190-5495Veröffentlicht: Cham Springer International Publishing 01.06.2024Veröffentlicht in Applied water science (01.06.2024)“… The modern constraint programming (CP) was adopted to minimize water scarcity and excessive water which are the critical issues in reservoir operation of Bhumibol Dam (BB …”
Volltext
Journal Article -
7
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids
ISSN: 1383-7133, 1572-9354Veröffentlicht: New York Springer US 01.07.2022Veröffentlicht in Constraints : an international journal (01.07.2022)“… Then, there is a lot of problems relative to this subject, like the enumeration of all its Kekulé structures (i.e. all valid configurations of double bonds …”
Volltext
Journal Article -
8
A Hybrid Approach for the Sudoku Problem: Using Constraint Programming in Iterated Local Search
ISSN: 1541-1672, 1941-1294Veröffentlicht: Los Alamitos IEEE 01.03.2017Veröffentlicht in IEEE intelligent systems (01.03.2017)“… Furthermore, the authors propose an innovative hybrid search technique that exploits constraint programming as a perturbation technique within the iterated local search framework …”
Volltext
Journal Article -
9
A constraint programming approach and a hybrid of genetic and K-means algorithms to solve the p-hub location-allocation problems
ISSN: 1750-9653, 1750-9661Veröffentlicht: Taylor & Francis 03.04.2021Veröffentlicht in International journal of management science and engineering management (03.04.2021)“… Hubs act as switching points to reduce the transportation cost. In this study, two new solution methods, a constraint programming (CP …”
Volltext
Journal Article -
10
Equitable optimized airspace sectorization based on constraint programming and OWA aggregation
ISSN: 1748-8842, 1758-4213Veröffentlicht: Bradford Emerald Publishing Limited 22.08.2020Veröffentlicht in Aircraft engineering (22.08.2020)“… Design/methodology/approach A constraint programming (CP) model called equitable airspace sectorization problem (EQASP …”
Volltext
Journal Article -
11
An Interval Constraint Programming Approach for Quasi Capture Tube Validation
ISSN: 1318-0207, 1580-3155Veröffentlicht: Slovenian Chemical Society 15.10.2021Veröffentlicht in Acta chimica Slovenica (15.10.2021)“… Proving that the state of a controlled nonlinear system always stays inside a time moving bubble (or capture tube) amounts to proving the inconsistency of a …”
Volltext
Tagungsbericht -
12
Constraint programming for project-driven manufacturing
ISSN: 0925-5273, 1873-7579Veröffentlicht: Amsterdam Elsevier B.V 01.08.2009Veröffentlicht in International journal of production economics (01.08.2009)“… A constraint programming (CP) modeling framework is discussed in the context of an efficient decomposition of the constraint satisfaction problem (CSP …”
Volltext
Journal Article -
13
Logic, Optimization, and Constraint Programming
ISSN: 1091-9856, 1526-5528, 1091-9856Veröffentlicht: Linthicum INFORMS 22.09.2002Veröffentlicht in INFORMS journal on computing (22.09.2002)“… Because of their complementary strengths, optimization and constraint programming can be profitably merged …”
Volltext
Journal Article -
14
Optimization of chance constraint programming with sum-of-fractional objectives – An application to assembled printed circuit board problem
ISSN: 0307-904XVeröffentlicht: Elsevier Inc 01.03.2013Veröffentlicht in Applied mathematical modelling (01.03.2013)“… This paper presents a procedure to solve a chance constraint programming problem with sum-of-fractional objectives …”
Volltext
Journal Article -
15
Efficient algorithms for program equivalence for confluent concurrent constraint programming
ISSN: 0167-6423, 1872-7964Veröffentlicht: Elsevier B.V 01.11.2015Veröffentlicht in Science of computer programming (01.11.2015)“… Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory …”
Volltext
Journal Article -
16
Stress testing of task deadlines: A constraint programming approach
ISSN: 1071-9458Veröffentlicht: IEEE 01.11.2013Veröffentlicht in Proceedings - International Symposium on Software Reliability Engineering (01.11.2013)“… Specifically, we develop an approach based on Constraint Programming (CP) to automate the generation of test cases that reveal, or are likely to, task deadline misses …”
Volltext
Tagungsbericht -
17
A constraint programming approach to the additional relay placement problem in wireless sensor networks
ISSN: 1383-7133, 1572-9354Veröffentlicht: New York Springer US 01.10.2015Veröffentlicht in Constraints : an international journal (01.10.2015)“… We develop a Constraint Programming (CP) approach for deciding strongly …”
Volltext
Journal Article -
18
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
ISSN: 0004-3702, 1872-7921Veröffentlicht: Elsevier B.V 01.10.2023Veröffentlicht in Artificial intelligence (01.10.2023)“… Constraint Optimization Problems (COPs) ask for an assignment of values to variables in order to optimize an objective subject to constraints that restrict the value combinations in the assignment …”
Volltext
Journal Article -
19
Solving diameter-constrained minimum spanning tree problems by constraint programming
ISSN: 0969-6016, 1475-3995Veröffentlicht: Oxford, UK Blackwell Publishing Ltd 01.09.2010Veröffentlicht in International transactions in operational research (01.09.2010)“… We propose alternative formulations using constraint programming that circumvent weak lower bounds yielded by most mixed …”
Volltext
Journal Article -
20
Constraint Programming Based on Matrix-Like Representation of Qualitative Constraints
ISBN: 1614999325, 9781614999324Veröffentlicht: United Kingdom SAGE Publications, Limited 2019Veröffentlicht in Information Modelling and Knowledge Bases XXX (2019)Volltext
Buchkapitel

