%T Branch and Sample: a simple strategy for constraint satisfaction
%A Galle, P.
%D 1989
%K constraint satisfaction, Branch and Sample, optimization, search tree Dec89
%J BIT
%V 29
%N 3
%P 395-408
%T The complexity of some polynomial network consistency algorithms for
constraint satisfaction problems
%A Mackworth, A.K.
%A Freuder, E.C.
%D Jan. 1985
%K artificial intelligence, polynomial network consistency algorithms, 1985 constraint satisfaction problems, artificial intelligence, time complexity, arc consistency, Waltz filtering algorithm, edge labelling, computational vision, constraint graph
%O Artif. Intell. (Netherlands)
%J Artificial Intelligence
%V 25
%N 1
%P 65-73
%T Constraint Satisfaction
%A Mackworth, A.K.
%D Sept 1985
%I Department of Computer Science, University of British Columbia
%C Vancouver
%R TR 85-15
%K BColumbia
%T Hierarchial arc consistency: exploiting structured domains in constraint satisfaction problems
%A Mackworth, A.K.
%A Mulder, A.J.
%A Havens, W.S.
%D 19 Jul 85
%I Department of Computer Science, University of British Columbia
%C Vancouver
%R TR 85-7A Vol. 1 No. 3
%K BColumbia
%T Introduction to artificial intelligence
%A Charniak, E.
%A McDermott, D.
%D 1985
%I Addison-Wesley Publishing Company
%P 649-650
%T Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
%A Dechter, R.
%D Jan. 1990
%K enhancement schemes, constraint processing, backjumping, learning, cutset Apr90 decomposition, constraint satisfaction problems, logic programming, truth maintenance systems, backtracking algorithm, constraint graph
%J Artificial Intelligence
%V 41
%N 3
%P 273-312
%T Synthesizing Constraint Expressions
%A Freuder, E.C.
%J Communications of the ACM
%V 21
%N 11
%P 958-965
%D November 1978
%T Network-based heuristics for constraint-satisfaction problems
%A Dechter, R.
%A Pearl, J.
%D Dec. 1987
%K artificial intelligence, network based heuristics, constraint-satisfaction 1988 problems, sparse networks, trees
%O Artif. Intell. (Netherlands)
%J Artificial Intelligence
%V 34
%N 1
%V A01
%P 1-38
%T A sufficient condition for backtrack-bounded search
%A Freuder, E.C.
%D Oct. 1985
%K exponential bounds, computational complexity, sufficient condition, 1986 backtrack-bounded search, constraint satisfaction problems, largest biconnected component, constraint graph
%O J. Assoc. Comput. Mach. (USA)
%J Journal of the Association for Computing Machinery
%V 32
%N 4
%V A01
%P 755-61
%T Intelligent Systems Techniques - Lecture notes
%A Bridge, D.G
%D Jan. 1991
%O University of York (UK)
%T Integrated Network Management Systems - A Global Perspective on the Issue
%A Feldkhun, L.
%D May 14-17, 1989
%J Integrated Network Management: Proc. of the IFIP TC 6/WG 6.6 Symp. on Integrated Network Management
%P 279-304
%C Boston, Massachusetts
%I North-Holland
%T Standardization Issues in Integrated Network Management
%A Kobayashi, Y.
%D May 14-17, 1989
%J Integrated Network Management: Proc. of the IFIP TC 6/WG 6.6 Symp. on Integrated Network Management
%P 79-92
%C Boston, Massachusetts
%I North-Holland
|