Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,391,140 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
2010
2010
Bitext Dependency Parsing with Bilingual Subtree Constraints
Wenliang Chen
,
Jun'ichi Kazama
,
Kentaro Torisawa
Annual Meeting of the Association for…
2010
Corpus ID: 11036142
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual…
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
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
Review
1992
Review
1992
Dynamic Memory Management for Sequential Logic Programming Languages
Y. Bekkers
,
O. Ridoux
,
Lucien Ungaro
IWMM
1992
Corpus ID: 2509228
Logic programming languages are becoming more complex with the introduction of new features such as constraints or terms with an…
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