Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,209,251 papers from all fields of science
Search
Sign In
Create Free Account
Constraint (mathematics)
Known as:
Constraint function
, Binding constraint
, Non-binding constraint
Expand
In mathematics, a constraint is a condition of an optimization problem that the solution must satisfy. There are several types of constraints…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
2-satisfiability
AC-3 algorithm
Adjoint state method
Augmented Lagrangian method
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Fast-Lipschitz optimization with wireless sensor networks applications
C. Fischione
Proceedings of the 10th ACM/IEEE International…
2011
Corpus ID: 1189617
Motivated by the need for fast computations demanded by wireless sensor networks, the new F-Lipschitz optimization theory is…
Expand
2011
2011
Computer Aided Modeling and Optimization of Crankshaft
Deepan Marudachalam
2011
Corpus ID: 3001721
The Computer aided modeling and optimization analysis of crankshaft is to study was to evaluate and compare the fatigue…
Expand
2010
2010
Multi-Objective Fuzzy Vehicle Routing Problem: A Case Study
Radha Gupta
,
Bijendra K. Singh
,
D. Pandey
,
Sri Bhagawan
,
Mahaveer Jain
2010
Corpus ID: 113660783
The Vehicle Routing Problem (VRP) is a well-known problem studied by researchers in Operations Research and it deals with…
Expand
Review
2009
Review
2009
Assessing the Performance of GM Maize Amongst Smallholders in KwaZulu-Natal, South Africa
M. Gouse
,
J. Piesse
,
C. Thirtle
,
C. Poulton
2009
Corpus ID: 56010042
The distributional impact of biased technological change depends both on the factor-saving (or using) biases and the factor…
Expand
2007
2007
Timetabling : Bridging the Gap between Research and Practice
B. McCollum
2007
Corpus ID: 107684963
As an academic in the School of Computer Science at Queen’s University, a visiting researcher to the Automated Scheduling…
Expand
1999
1999
Geometric algorithms for closed chain kinematic calibration
C. Iurascu
,
F. Park
Proceedings IEEE International Conference on…
1999
Corpus ID: 36893382
We develop a high-level, unified framework for the calibration of kinematic chains containing closed loops, passive joints, and…
Expand
1998
1998
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
Javier Pinto
Journal of Logic and Computation
1998
Corpus ID: 8860469
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation and all other situations…
Expand
1993
1993
Castration, tail docking and dehorning - What are the constraints?
K. Stafford
,
D. Mellor
1993
Corpus ID: 73012305
The present public and scientific interest in the welfare of farm livestock has caused traditional management procedures…
Expand
Highly Cited
1988
Highly Cited
1988
Towards a 'neural' architecture for abductive reasoning
Ashok K. Goel
,
J. Ramanujam
,
P. Sadayappan
IEEE International Conference on Neural Networks
1988
Corpus ID: 8403130
The authors formulate the general task of abduction as a nonlinear nonmonotonic constrained optimization problem. They then…
Expand
1973
1973
Dynamic verification of operating system decisions
R. S. Fabry
CACM
1973
Corpus ID: 14689700
Dynamic verification of a decision implies that every time the decision is made there is a consistency check performed on the…
Expand