-
1
-
-
0000000310
-
A tree search algorithm for mixed integer programming problems
-
R.J. Dakin, A tree search algorithm for mixed integer programming problems, The Computer Journal 8((1965)250-255
-
(1965)
The Computer Journal
, vol.8
, pp. 250-255
-
-
Dakin, R.J.1
-
2
-
-
0023386175
-
Constraint propagation with interval labels
-
E. Davis, Constraint propagation with interval labels, Artificial Intelligence 32(1987)281-331
-
(1987)
Artificial Intelligence
, vol.32
, pp. 281-331
-
-
Davis, E.1
-
4
-
-
0005617819
-
-
Nag Ltd, Oxford, UK
-
E.F.D. Ellison et al., FortMP, User Guide and Reference Manual, Nag Ltd, Oxford, UK, 1995.
-
(1995)
FortMP, User Guide and Reference Manual
-
-
Ellison, E.F.D.1
-
5
-
-
0022221213
-
Logic programming: Further developments
-
Boston, MA, July
-
H. Gallaire, Logic programming: Further developments, in: IEEE Symposium on Logic Programming, Boston, MA, July 1985.
-
(1985)
IEEE Symposium on Logic Programming
-
-
Gallaire, H.1
-
6
-
-
0041908909
-
-
Ph.D. Thesis, Mathematics and Statistics Department, Brunel, University of West London
-
M.T. Hajian, Computational methods for discrete programming problems, Ph.D. Thesis, Mathematics and Statistics Department, Brunel, University of West London, 1992.
-
(1992)
Computational Methods for Discrete Programming Problems
-
-
Hajian, M.T.1
-
7
-
-
0019067870
-
Increasing tree search efficiency for constraint satisfaction problems
-
R.M. Haralick and G.L. Elliot, Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence 14(1980)263-314.
-
(1980)
Artificial Intelligence
, vol.14
, pp. 263-314
-
-
Haralick, R.M.1
Elliot, G.L.2
-
8
-
-
85032090044
-
Constraint Logic Programming
-
Munich, Germany, January
-
J. Jaffar and J.-L. Lassez, Constraint Logic Programming, in: POPL-87, Munich, Germany, January 1987.
-
(1987)
POPL-87
-
-
Jaffar, J.1
Lassez, J.-L.2
-
10
-
-
0001173632
-
An automatic method for solving discrete programming problems
-
A. Land and A.W. Tucker, An automatic method for solving discrete programming problems, Econometrica 28(1960)497-520.
-
(1960)
Econometrica
, vol.28
, pp. 497-520
-
-
Land, A.1
Tucker, A.W.2
-
11
-
-
49449120803
-
Consistency in networks of relations
-
A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8(1977)99-118.
-
(1977)
Artificial Intelligence
, vol.8
, pp. 99-118
-
-
Mackworth, A.K.1
-
13
-
-
0016050041
-
Networks of constraints: Fundamental properties and applications to picture processing
-
U. U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Science 7(1974)95-132.
-
(1974)
Information Science
, vol.7
, pp. 95-132
-
-
Montanari, U.U.1
-
15
-
-
0019044566
-
{CONSTRAINTS}: A language for expressing almost-hierarchical descriptions
-
G.J. Sussman and G.L. Steele, {CONSTRAINTS}: A language for expressing almost-hierarchical descriptions, Artificial Intelligence 14(1980)1-39.
-
(1980)
Artificial Intelligence
, vol.14
, pp. 1-39
-
-
Sussman And, G.J.1
Steele, G.L.2
-
16
-
-
84873007029
-
-
Ph.D. Thesis, Mathematics and Statistics Department, Brunel, University of West London
-
M. Tamiz, Design implementation and testing of a general linear programming system exploiting sparsity, Ph.D. Thesis, Mathematics and Statistics Department, Brunel, University of West London, 1986.
-
(1986)
Design Implementation and Testing of a General Linear Programming System Exploiting Sparsity
-
-
Tamiz, M.1
-
17
-
-
0003683967
-
Constraint Satisfaction in Logic Programming
-
The MIT Press
-
P. Van Hentenryck, Constraint Satisfaction in Logic Programming, Logic Programming Series, The MIT Press, 1989.
-
(1989)
Logic Programming Series
-
-
Van Hentenryck, P.1
|