Scheduling Optimization of Electric Rubber-Tired Vehicles in Underground Coal Mines Based on Constraint Programming.
- Published in:
- Sensors (14248220), 2025, v. 25, n. 11, p. 3435, doi. 10.3390/s25113435
- By:
- Publication type:
- Article
Works matching DE "CONSTRAINT programming"
Results: 936
1
2
A constraint‐programming approach for the storage space allocation problem in a distribution center.
- Published in:
- International Transactions in Operational Research, 2025, v. 32, n. 6, p. 3474, doi. 10.1111/itor.70003
- By:
- Publication type:
- Article
3
New formulations for the robust vehicle routing problem with time windows under demand and travel time uncertainty.
- Published in:
- OR Spectrum, 2025, v. 47, n. 2, p. 411, doi. 10.1007/s00291-024-00781-z
- By:
- Publication type:
- Article
4
Convergence analysis of a mixed logarithmic barrier-augmented Lagrangian algorithm without constraint qualification.
- Published in:
- Computational Optimization & Applications, 2025, v. 91, n. 3, p. 1105, doi. 10.1007/s10589-025-00690-z
- By:
- Publication type:
- Article
5
基于模型预测控制的双向移动平台轨迹跟踪控制方法.
- Published in:
- Journal of Mechanical & Electrical Engineering, 2025, v. 42, n. 4, p. 746, doi. 10.3969/j.issn.1001-4551.2025.04.015
- By:
- Publication type:
- Article
6
NPPro: a Newton projection with proportioning solver for quadratic programming with affine constraints.
- Published in:
- Optimization Methods & Software, 2025, v. 40, n. 3, p. 525, doi. 10.1080/10556788.2024.2436180
- By:
- Publication type:
- Article
7
Tabu search algorithms for minimizing total completion time on a single machine with an actual time-dependent learning effect.
- Published in:
- Natural Computing, 2019, v. 18, n. 2, p. 287, doi. 10.1007/s11047-016-9539-4
- By:
- Publication type:
- Article
8
Online control of enumeration strategies via bat algorithm and black hole optimization.
- Published in:
- Natural Computing, 2017, v. 16, n. 2, p. 241, doi. 10.1007/s11047-016-9576-z
- By:
- Publication type:
- Article
9
Improving probabilistic inference in graphical models with determinism and cycles.
- Published in:
- Machine Learning, 2017, v. 106, n. 1, p. 1, doi. 10.1007/s10994-016-5585-5
- By:
- Publication type:
- Article
10
On the page number of RNA secondary structures with pseudoknots.
- Published in:
- Journal of Mathematical Biology, 2012, v. 65, n. 6/7, p. 1337, doi. 10.1007/s00285-011-0493-6
- By:
- Publication type:
- Article
11
SMT solving for the validation of B and Event-B models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 1043, doi. 10.1007/s10009-022-00682-y
- By:
- Publication type:
- Article
12
Timing analysis of MSC specifications with asynchronous concatenation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 639, doi. 10.1007/s10009-012-0239-9
- By:
- Publication type:
- Article
13
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 449, doi. 10.1007/s10009-011-0193-y
- By:
- Publication type:
- Article
14
On extension of the maximin problem.
- Published in:
- Automation & Remote Control, 2014, v. 75, n. 7, p. 1283, doi. 10.1134/S0005117914070091
- By:
- Publication type:
- Article
15
On reduction of the multistage problem of stochastic programming with quantile criterion to the problem of mixed integer linear programming.
- Published in:
- Automation & Remote Control, 2014, v. 75, n. 4, p. 688, doi. 10.1134/S0005117914040092
- By:
- Publication type:
- Article
16
SPATKIN: a simulator for rule-based modeling of biomolecular site dynamics on surfaces.
- Published in:
- Bioinformatics, 2017, v. 33, n. 22, p. 3667, doi. 10.1093/bioinformatics/btx456
- By:
- Publication type:
- Article
17
RNAiFold2T: Constraint Programming design of thermo-IRES switches.
- Published in:
- Bioinformatics, 2016, v. 32, n. 12, p. i360, doi. 10.1093/bioinformatics/btw265
- By:
- Publication type:
- Article
18
LPmerge: an R package for merging genetic maps by linear programming.
- Published in:
- Bioinformatics, 2014, v. 30, n. 11, p. 1623, doi. 10.1093/bioinformatics/btu091
- By:
- Publication type:
- Article
19
A POLYNOMIAL BARRIER ALGORITHM FOR LINEARLY CONSTRAINED CONVEX PROGRAMMING PROBLEMS.
- Published in:
- Mathematics of Operations Research, 1993, v. 18, n. 1, p. 116, doi. 10.1287/moor.18.1.116
- By:
- Publication type:
- Article
20
A Comparison of Constraint Programming and Mixed‐Integer Programming for Automated Test‐Form Generation.
- Published in:
- Journal of Educational Measurement, 2018, v. 55, n. 4, p. 435, doi. 10.1111/jedm.12187
- By:
- Publication type:
- Article
21
Comparison between two declarative approaches to solve the problem of Pattern Mining in Sequences.
- Published in:
- International Journal of Computer Information Systems & Industrial Management Applications, 2016, v. 8, p. 52
- By:
- Publication type:
- Article
22
EDGEWORTH SERIES APPROXIMATION FOR CHI-SQUARE TYPE CHANCE CONSTRAINTS.
- Published in:
- Communications Series A1 Mathematics & Statistics, 2007, v. 56, n. 2, p. 27
- By:
- Publication type:
- Article
23
Multi-Area Active Distribution Network Scheduling in the Presence of Soft Open Points based on Information Gap Decision Theory.
- Published in:
- Computational Intelligence in Electrical Engineering, 2023, v. 14, n. 3, p. 101, doi. 10.22108/isee.2023.134689.1578
- By:
- Publication type:
- Article
24
STUDY OF PARETO OPTIMAL SOLUTIONS IN STOCHASTIC MULTIRESPONSE STRATIFIED SAMPLE SURVEYS.
- Published in:
- International Journal of Agricultural & Statistical Sciences, 2020, v. 16, n. 1, p. 373
- By:
- Publication type:
- Article
25
A DECISION PLANNING MODEL FOR TOTAL TIME MINIMIZATION SOLID TRANSPORTATION PROBLEM UNDER UNCERTAINTY.
- Published in:
- International Journal of Agricultural & Statistical Sciences, 2019, v. 15, n. 1, p. 27
- By:
- Publication type:
- Article
26
A novel group decision-making method by P-robust fuzzy DEA credibility constraint for welding process selection.
- Published in:
- Cogent Engineering, 2020, v. 7, n. 1, p. 1, doi. 10.1080/23311916.2020.1728057
- By:
- Publication type:
- Article
27
IntSat: integer linear programming by conflict-driven constraint learning.
- Published in:
- Optimization Methods & Software, 2024, v. 39, n. 1, p. 169, doi. 10.1080/10556788.2023.2246167
- By:
- Publication type:
- Article
28
A stochastic approximation method for convex programming with many semidefinite constraints.
- Published in:
- Optimization Methods & Software, 2023, v. 38, n. 1, p. 34, doi. 10.1080/10556788.2022.2091563
- By:
- Publication type:
- Article
29
Relaxation schemes for mathematical programmes with switching constraints.
- Published in:
- Optimization Methods & Software, 2021, v. 36, n. 6, p. 1223, doi. 10.1080/10556788.2019.1663425
- By:
- Publication type:
- Article
30
SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0).
- Published in:
- Optimization Methods & Software, 2020, v. 35, n. 1, p. 87, doi. 10.1080/10556788.2019.1576176
- By:
- Publication type:
- Article
31
Non-smooth DC-constrained optimization: constraint qualification and minimizing methodologies.
- Published in:
- Optimization Methods & Software, 2019, v. 34, n. 4, p. 890, doi. 10.1080/10556788.2019.1595619
- By:
- Publication type:
- Article
32
A general system for heuristic minimization of convex functions over non-convex sets.
- Published in:
- Optimization Methods & Software, 2018, v. 33, n. 1, p. 165, doi. 10.1080/10556788.2017.1304548
- By:
- Publication type:
- Article
33
A new incremental constraint projection method for solving monotone variational inequalities.
- Published in:
- Optimization Methods & Software, 2017, v. 32, n. 3, p. 470, doi. 10.1080/10556788.2016.1217210
- By:
- Publication type:
- Article
34
Penalty decomposition methods for rank minimization.
- Published in:
- Optimization Methods & Software, 2015, v. 30, n. 3, p. 531, doi. 10.1080/10556788.2014.936438
- By:
- Publication type:
- Article
35
Infeasible constraint-reduced interior-point methods for linear optimization.
- Published in:
- Optimization Methods & Software, 2012, v. 27, n. 4/5, p. 801, doi. 10.1080/10556788.2011.589056
- By:
- Publication type:
- Article
36
Pattern search in the presence of degenerate linear constraints.
- Published in:
- Optimization Methods & Software, 2008, v. 23, n. 3, p. 297, doi. 10.1080/10556780701521670
- By:
- Publication type:
- Article
37
Knowledge-based semidefinite linear programming classifiers.
- Published in:
- Optimization Methods & Software, 2006, v. 21, n. 5, p. 693, doi. 10.1080/10556780500137066
- By:
- Publication type:
- Article
38
Very large scale optimization by sequential convex programming.
- Published in:
- Optimization Methods & Software, 2004, v. 19, n. 1, p. 103, doi. 10.1080/10556780410001647195
- By:
- Publication type:
- Article
39
Estimation of elevator passenger traffic based on the most likely elevator trip origin-destination matrices.
- Published in:
- Building Services Engineering Research & Technology, 2017, v. 38, n. 5, p. 563, doi. 10.1177/0143624417707875
- By:
- Publication type:
- Article
40
Differential Evolution Algorithm for Solving Unit Commitment with Ramp Constraints.
- Published in:
- Electric Power Components & Systems, 2008, v. 36, n. 8, p. 771, doi. 10.1080/15325000801911377
- By:
- Publication type:
- Article
41
MeAR-CP: Evaluation of the Quality of Association Rules Using Constraint Programming.
- Published in:
- Revue d'Intelligence Artificielle, 2024, v. 38, n. 3, p. 901, doi. 10.18280/ria.380317
- By:
- Publication type:
- Article
42
Knowledge based and CP-driven approach applied to multi product small-size production flow.
- Published in:
- Control & Cybernetics, 2010, v. 39, n. 1, p. 68
- By:
- Publication type:
- Article
43
Programming in Groups: developing industry-facing software development skills in the undergraduate mathematics curriculum.
- Published in:
- MSOR Connections, 2020, v. 18, n. 2, p. 18, doi. 10.21100/msor.v18i2.1087
- By:
- Publication type:
- Article
44
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 1011, doi. 10.1017/S1471068424000206
- By:
- Publication type:
- Article
45
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 623, doi. 10.1017/S1471068422000217
- By:
- Publication type:
- Article
46
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
- Published in:
- Theory & Practice of Logic Programming, 2023, v. 23, n. 6, p. 1281, doi. 10.1017/S1471068423000017
- By:
- Publication type:
- Article
47
Integrating Cardinality Constraints into Constraint Logic Programming with Sets.
- Published in:
- Theory & Practice of Logic Programming, 2023, v. 23, n. 2, p. 468, doi. 10.1017/S1471068421000521
- By:
- Publication type:
- Article
48
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 6, p. 974, doi. 10.1017/S1471068421000211
- By:
- Publication type:
- Article
49
Building Information Modeling Using Constraint Logic Programming.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 5, p. 723, doi. 10.1017/S1471068422000138
- By:
- Publication type:
- Article
50
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 1, p. 51, doi. 10.1017/S1471068421000156
- By:
- Publication type:
- Article