SCOPUS 정보 검색 플랫폼

IEEE Transactions on Knowledge and Data Engineering

Volumn 14, Issue 2, 2002, Pages 353-368

Solving constraint optimization problems from CLP-style specifications using heuristic search techniques

(5) Dasgupta, Pallab a Chakrabarti, P P a Dey, Arnab a Ghose, Sujoy a Bibel, Wolfgang b

a INDIAN INSTITUTE OF TECHNOLOGY (India)

b DARMSTADT UNIVERSITY OF TECHNOLOGY (Germany)

Author keywords

Constraint optimization; Heuristic search; Logic programming

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; GRAPH THEORY; HEURISTIC METHODS; LOGIC PROGRAMMING; OPTIMIZATION;

CONSTRAINT LOGIC PROGRAMMING (CLP);

COMBINATORIAL MATHEMATICS;

EID: 0036510174 PISSN: 10414347 EISSN: None Source Type: Journal
DOI: 10.1109/69.991721 Document Type: Article

Times cited : (7)

References (35)

1
- 0018466321
- The B* tree search algorithm
- (1979) Artificial Intelligence , vol.12 , pp. 23-40
- Berliner, H.¹

2
- 0009972770
- Berlin: Springer
- (1975) GI-2. Fachtagung über Automatentheorie und Formale Sprachen , pp. 274-283
- Bibel, W.¹ Programmieren, P.²

3
- 0004240847
- Vieweg: Verlag, Braunschweig
- (1987) Automated Theorem Proving, second ed.
- Bibel, W.¹

4
- 0010012061
- Towards predicative programming
- (1992) Automating Software Design , pp. 405-423
- Bibel, W.¹

5
- 0002903160
- Towards an adequate theorem prover based on the connection method
- (1994) Proc. Sixth Int'l Conf. Artifical Intelligence and Information Control of Robots , pp. 137-140
- Bibel, W.¹ Brüning, S.² Egly, U.³ Korn, D.⁴ Rath, T.⁵

6
- 84880660138
- Semiring-based constraint logic programming
- (1997) Proc. 15th Ann. Int'l Joint Conf. Artifical Intelligence, IJCAI'97 , pp. 352-357
- Bistarelli, S.¹ Montanari, U.² Rossi, F.³

7
- 84957354082
- SALSA: A language for search algorithms
- (1998) Proc. Fourth Int'l Conf. Principles and Practice of Constraint Programming CP '98 , pp. 310-324
- Caseau, Y.¹ Laburthe, F.²

8
- 0024928216
- Heuristic search in restricted memory
- (1989) Artificial Intelligence , vol.41 , pp. 197-221
- Chakrabarti, P.P.¹ Ghose, S.² Acharya, A.³ DeSarkar, S.C.⁴

9
- 38249011583
- A general best first search algorithm in AND/OR graphs
- (1992) J. Algorithms , vol.13 , pp. 177-187
- Chakrabarti, P.P.¹ Ghose, S.²

10
- 0010012297
- technical report, Université Aix-Marseille
- (1973) Un Système de Communication Homme-Machine en Français
- Colmerauer, A.¹ Kanoui, H.² Pasero, R.³ Roussel, P.⁴

11
- 0004116989
- MIT Press
- (1990) Introduction to Algorithms
- Cormen, T.H.¹ Leiserson, C.E.² Rivest, R.L.³

12
- 0010012894
- A heuristic search approach to effectively solve constrained optimization problems from logical specifications
- (1998) Proc. Int'l Conf. Knowledge Based Systems KBCS'98 , pp. 39-49
- Dasgupta, P.¹ Chakrabarti, P.P.² Dey, A.³ Ghose, S.⁴ Bibel, W.⁵

13
- 85029419269
- On the semantics of optimization predicates in CLP languages
- (1993) Proc. 13th Foundation of Software Technology and Theoretical Computer Science , pp. 193-204
- Fages, F.¹

14
- 84957027121
- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages
- (1995) Constraint Programming: Basics and Trends , pp. 68-89
- Fages, F.¹

15
- 0031209371
- Constructive negation by pruning
- (1997) J. Logic Programming , vol.32 , Issue.2 , pp. 85-118
- Fages, F.¹

16
- 0009974037
- A scheme for unifying optimization and constraint satisfaction methods
- to appear
- (1999) Knowledge Engineering Review
- Hooker, J.¹ Ottosson, G.² Thorsteinsson, E.S.³ Kim, H.-J.⁴

17
- 0010013080
- Game solving procedure H* is unsurpassed
- D.S. Johnson, ed., New York: Academic Press
- (1987) Discrete Algorithms and Complexity , pp. 185-200
- Ibaraki, T.¹

18
- 4243532938
- Constraint logic programming: A survey
- (1994) J. Logic Programming , vol.19-20 , pp. 503-582
- Jaffar, J.¹ Maher, M.J.²

19
- 0022129301
- Depth-first iterative deepening: An optimal admissible tree search
- (1985) Artificial Intelligence , vol.27 , pp. 97-109
- Korf, R.E.¹

20
- 0027623753
- Linear space best-first search
- (1993) Artificial Intelligence , vol.62 , pp. 41-78
- Korf, R.E.¹

21
- 0016622115
- An analysis of alpha-beta pruning
- (1975) Artificial Intelligence , vol.6 , pp. 293-326
- Knuth, D.E.¹ Moore, R.W.²

22
- 0023596784
- Negation in logic programming
- (1987) J. Logic Programming , vol.4 , Issue.3 , pp. 289-308
- Kunen, K.¹

23
- 0027562395
- Semantics for CLP programs with optimization
- (1993) ACM Letters on Programming Languages and Systems , vol.2 , pp. 197-212
- Marriott, K.¹ Stuckey, P.J.²

24
- 0031109240
- SETHEO and E-SETHEO: The CADE-13 systems
- (1997) J. Automated Reasoning , vol.18 , pp. 237-246
- Moser, M.¹

25
- 0003586442
- John Wiley
- (1989) Integer and Combinatorial Optimization
- Nemhauser, G.L.¹ Wosley, L.A.²

26
- 0004219017
- Palo Alto, Calif.: Tioga
- (1980) Principles of Artificial Intelligence
- Nilsson, N.J.¹

27
- 0003961852
- Addison Wesley
- (1984) Heuristics: Intelligent Search Strategies for Computer Problem Solving
- Pearl, J.¹

28
- 0003584577
- Prentice Hall
- (1995) Artificial Intelligence: A Modern Approach
- Russell, S.¹ Norvig, P.²

29
- 0026190103
- Reducing reexpansions in iterative deepening search by controlling cutoff bounds
- (1991) Artificial Intelligence , vol.50 , pp. 207-221
- Sarkar, U.K.¹ Chakrabarti, P.P.² Ghose, S.³ DeSarkar, S.C.⁴

30
- 0002829495
- Encapsulated search for higher-order concurrent constraint programming
- (1994) Proc. Int'l Logic Programming Symp. , pp. 505-520
- Schulte, C.¹ Smolka, G.²

31
- 0003683967
- Cambridge, Mass.: MIT Press
- (1989) Constraint Satisfaction in Logic Programming
- Van Hentenryck, P.¹

32
- 0002868937
- Constraint satisfaction using constraint logic programming
- (1992) Artificial Intelligence , vol.58 , pp. 113-159
- Van Hentenryck, P.¹ Simonis, H.² Dincbas, M.³

33
- 0003513398
- Cambridge, Mass.: MIT Press
- (1997) Numerica - A Modelling Language for Global Optimization
- Van Hentenryck, P.¹ Michel, L.² Deville, Y.³

34
- 0009972771
- Constraint programming
- M. Dekker, ed.
- (1997) Encyclopedia of Science and Technology
- Van Hentenryck, P.¹

35
- 0003870407
- Cambridge, Mass: MIT Press
- (1999) The OPL Optimization Programming Language
- Van Hentenryck, P.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.