Works matching DE "CONSTRAINT programming"
Results: 877
DEPS: a model- and property-based language for system synthesis problems.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 973, doi. 10.1007/s10270-023-01129-x
- By:
- Publication type:
- Article
Coupling solvers with model transformations to generate explorable model sets.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 5, p. 1633, doi. 10.1007/s10270-021-00867-0
- By:
- Publication type:
- Article
Models and temporal logical specifications for timed component connectors.
- Published in:
- Software & Systems Modeling, 2007, v. 6, n. 1, p. 59, doi. 10.1007/s10270-006-0009-9
- By:
- Publication type:
- Article
A metamodel for modeling system features and their refinement, constraint and interaction relationships.
- Published in:
- Software & Systems Modeling, 2006, v. 5, n. 2, p. 172, doi. 10.1007/s10270-006-0004-1
- By:
- Publication type:
- Article
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
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
Capacity planning and scheduling for jobs with uncertainty in resource usage and duration.
- Published in:
- Journal of Supercomputing, 2024, v. 80, n. 15, p. 22428, doi. 10.1007/s11227-024-06282-8
- By:
- Publication type:
- Article
An efficient heuristic approach combining maximal itemsets and area measure for compressing voluminous table constraints.
- Published in:
- Journal of Supercomputing, 2023, v. 79, n. 1, p. 650, doi. 10.1007/s11227-022-04667-1
- By:
- Publication type:
- Article
On exact and inexact RLT and SDP-RLT relaxations of quadratic programs with box constraints.
- Published in:
- Journal of Global Optimization, 2024, v. 90, n. 2, p. 293, doi. 10.1007/s10898-024-01407-y
- By:
- Publication type:
- Article
Interval constraint programming for globally solving catalog-based categorical optimization.
- Published in:
- Journal of Global Optimization, 2024, v. 89, n. 2, p. 457, doi. 10.1007/s10898-023-01362-0
- By:
- Publication type:
- Article
Global optimization of generalized semi-infinite programs using disjunctive programming.
- Published in:
- Journal of Global Optimization, 2019, v. 73, n. 1, p. 1, doi. 10.1007/s10898-018-0690-6
- By:
- Publication type:
- Article
A sampling-based exact algorithm for the solution of the minimax diameter clustering problem.
- Published in:
- Journal of Global Optimization, 2018, v. 71, n. 3, p. 613, doi. 10.1007/s10898-018-0634-1
- By:
- Publication type:
- Article
A mixed integer programming-based global optimization framework for analyzing gene expression data.
- Published in:
- Journal of Global Optimization, 2017, v. 69, n. 3, p. 727, doi. 10.1007/s10898-017-0530-0
- By:
- Publication type:
- Article
Method for solving generalized convex nonsmooth mixed-integer nonlinear programming problems.
- Published in:
- Journal of Global Optimization, 2017, v. 69, n. 2, p. 443, doi. 10.1007/s10898-017-0528-7
- By:
- Publication type:
- Article
A certified Branch & Bound approach for reliability-based optimization problems.
- Published in:
- Journal of Global Optimization, 2017, v. 69, n. 2, p. 461, doi. 10.1007/s10898-017-0529-6
- By:
- Publication type:
- Article
On the integration of row and column uncertainty in robust linear programming.
- Published in:
- Journal of Global Optimization, 2016, v. 66, n. 2, p. 195, doi. 10.1007/s10898-014-0240-9
- By:
- Publication type:
- Article
Single-projection procedure for linear optimization.
- Published in:
- Journal of Global Optimization, 2016, v. 66, n. 1, p. 95, doi. 10.1007/s10898-015-0337-9
- By:
- Publication type:
- Article
Discrete-continuous optimization of heat network operating conditions in parallel operation of similar pumps at pumping stations.
- Published in:
- Journal of Global Optimization, 2016, v. 66, n. 1, p. 83, doi. 10.1007/s10898-016-0403-y
- By:
- Publication type:
- Article
Necessary optimality conditions for optimistic bilevel programming problems using set-valued programming.
- Published in:
- Journal of Global Optimization, 2015, v. 61, n. 4, p. 769, doi. 10.1007/s10898-014-0200-4
- By:
- Publication type:
- Article
Sufficient optimality criteria and duality for multiobjective variational control problems with $$G$$ -type I objective and constraint functions.
- Published in:
- Journal of Global Optimization, 2015, v. 61, n. 4, p. 695, doi. 10.1007/s10898-014-0203-1
- By:
- Publication type:
- Article
Some constraint qualifications for quasiconvex vector-valued systems.
- Published in:
- Journal of Global Optimization, 2013, v. 55, n. 3, p. 539, doi. 10.1007/s10898-011-9807-x
- By:
- Publication type:
- Article
On saddle points in nonconvex semi-infinite programming.
- Published in:
- Journal of Global Optimization, 2012, v. 54, n. 3, p. 433, doi. 10.1007/s10898-011-9753-7
- By:
- Publication type:
- Article
A framework for energy-saving selection and scheduling of equipment resources in a networked manufacturing mode.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2023, v. 128, n. 3/4, p. 1845, doi. 10.1007/s00170-023-12048-y
- By:
- Publication type:
- Article
Workforce influence on manufacturing machines schedules.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2021, v. 115, n. 3, p. 915, doi. 10.1007/s00170-020-06176-y
- By:
- Publication type:
- Article
Temporal design for additive manufacturing.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2020, v. 106, n. 9/10, p. 3849, doi. 10.1007/s00170-019-04835-3
- By:
- Publication type:
- Article
Congestion management based on linear programming with strict constraints.
- Published in:
- Electrical Engineering, 2023, v. 105, n. 1, p. 285, doi. 10.1007/s00202-022-01669-3
- By:
- Publication type:
- Article
Approximation of Probabilistic Constraints in Stochastic Programming Problems with a Probability Measure Kernel.
- Published in:
- Automation & Remote Control, 2019, v. 80, n. 11, p. 2005, doi. 10.1134/S0005117919110055
- By:
- Publication type:
- Article
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
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
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
Model for Hydrogen Production Scheduling Optimisation.
- Published in:
- Modelling, 2024, v. 5, n. 1, p. 265, doi. 10.3390/modelling5010014
- By:
- Publication type:
- Article
Constraint programming have been identifying as promising technique for efficiently solving discrete optimization problem.
- Published in:
- Journal of Ultra Scientist of Physical Sciences - Section A (Mathematics), 2023, v. 35, n. 2, p. 12, doi. 10.22147/jusps-A/350201
- By:
- Publication type:
- Article
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
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
An Optimization-Simulation Approach to Chance-Constraint Programming.
- Published in:
- Information Technology & Control, 2018, v. 47, n. 2, p. 310, doi. 10.5755/j01.itc.47.2.18712
- By:
- Publication type:
- Article
Station Dispatching Problem for a Large Terminal: A Constraint Programming Approach.
- Published in:
- Interfaces, 2018, v. 48, n. 6, p. 510, doi. 10.1287/inte.2018.0950
- By:
- Publication type:
- Article
A Consulting Firm Uses Constraint Programming to Plan Personnel-Review Meetings.
- Published in:
- Interfaces, 2004, v. 34, n. 2, p. 106, doi. 10.1287/inte.1030.0050
- By:
- Publication type:
- Article
Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming.
- Published in:
- Interfaces, 2001, v. 31, n. 6, p. 29, doi. 10.1287/inte.31.6.29.9647
- By:
- Publication type:
- Article
ANALYSIS OF PROCESS CREATION OF THE COURSES TIMETABLING.
- Published in:
- Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2019, v. 11, n. 2, p. 30
- By:
- Publication type:
- Article
A framework for automatic architectural synthesis in conceptual design phase.
- Published in:
- Journal of Engineering Design, 2018, v. 29, n. 11, p. 665, doi. 10.1080/09544828.2018.1532494
- By:
- Publication type:
- Article
Managing system configuration through constraint propagation in function and value analyses of product families.
- Published in:
- Journal of Engineering Design, 2012, v. 23, n. 5, p. 361, doi. 10.1080/09544828.2011.591774
- By:
- Publication type:
- Article
基于通用变邻域搜索的多AGV分拣调度优化.
- Published in:
- Journal of Hebei University of Science & Technology, 2021, v. 42, n. 5, p. 523, doi. 10.7535/hbkd.2021yx05011
- By:
- Publication type:
- Article
Carbon emission management of coal power plant from the perspective of production planning in China.
- Published in:
- Journal of Industrial & Production Engineering, 2023, v. 40, n. 1, p. 22, doi. 10.1080/21681015.2022.2116494
- By:
- Publication type:
- Article
Robust Fuzzy chance constraint programming for multi-item EOQ model with random disruption and partial backordering under uncertainty.
- Published in:
- Journal of Industrial & Production Engineering, 2019, v. 36, n. 5, p. 276, doi. 10.1080/21681015.2019.1646328
- By:
- Publication type:
- Article
A Study on Disrupted Flight Recovery Based on Logic-Based Benders Decomposition Method.
- Published in:
- Aerospace (MDPI Publishing), 2024, v. 11, n. 5, p. 378, doi. 10.3390/aerospace11050378
- By:
- Publication type:
- Article
Characterizing 1-Metric Antidimensional Trees and Unicyclic Graphs.
- Published in:
- Computer Journal, 2016, v. 59, n. 8, p. 1264, doi. 10.1093/comjnl/bxw021
- By:
- Publication type:
- Article
Trace Abstraction Refinement for Solving Horn Clauses.
- Published in:
- Computer Journal, 2016, v. 59, n. 8, p. 1236, doi. 10.1093/comjnl/bxw017
- By:
- Publication type:
- Article
Message Passing for Distributed QoS-Security Tradeoffs†.
- Published in:
- Computer Journal, 2014, v. 57, n. 6, p. 840, doi. 10.1093/comjnl/bxt064
- By:
- Publication type:
- Article
Global Constraints in Distributed Constraint Satisfaction and Optimization.
- Published in:
- Computer Journal, 2014, v. 57, n. 6, p. 906, doi. 10.1093/comjnl/bxt088
- By:
- Publication type:
- Article
Integer and constraint programming models for the straight and U-shaped assembly line balancing with hierarchical worker assignment problem.
- Published in:
- International Journal of Production Research, 2024, v. 62, n. 14, p. 5269, doi. 10.1080/00207543.2023.2290699
- By:
- Publication type:
- Article