632 search results - page 10 / 127 » constraints 2000 |
CVPR
2000
IEEE
14 years 9 months ago
2000
IEEE
ICML
2000
IEEE
14 years 8 months ago
2000
IEEE
SIGMOD
2000
ACM
13 years 12 months ago
2000
ACM
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
CL
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...