SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 246-265

Solving Binary CSP Using Computational Systems

(1) Castro, Carlos a

a INRIA (France)

Author keywords

Computational Systems; Constraint Satisfaction Problems; Rewriting Logic

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; LOGIC PROGRAMMING; NUMBER THEORY; PROBLEM SOLVING; SET THEORY; SOFTWARE PROTOTYPING;

AUTOMATED DEDUCTION; COMPUTATIONAL SYSTEMS; CONSTRAINT SATISFACTION PROBLEMS (CSP); REWRITING LOGIC;

COMPUTATION THEORY;

EID: 19144366418 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00042-8 Document Type: Article

Times cited : (5)

References (27)

1
- 0028336331
- Arc-consistency and arc-consistency again
- (1994) Artificial Intelligence , vol.65 , pp. 179-190
- Bessière¹

2
- 84916576663
- C. Bessière. A fast algorithm to establish arc-consistency in constraint networks. Technical Report TR-94-003, LIRMM Université de Montpellier II, January 1994.

3
- 84916576662
- C. Bessière, and J.-C. Régin. An arc-consistency algorithm optimal in the number of constraint checks. In Proceedings of the Workshop on Constraint Processing, ECAI'94, Amsterdam, The Netherlands, pages 9–16, 1994.

4
- 84976824368
- New Programming Languages for Artificial Intelligence Research
- (1974) ACM Computing Surveys , vol.6 , Issue.3 , pp. 153-174
- Bobrow¹ Raphael²

5
- 0014766087
- On Canonical Forms and Simplification
- (1970) Journal of the ACM , vol.17 , Issue.2 , pp. 385-396
- Caviness¹

6
- 84916576661
- H. Comon, M. Dincbas, J.-P. Jouannaud, and C. Kirchner. A Methodological View of Constraint Solving. Working paper, 1996.

7
- 84916576660
- Y. Deville and P. V. Hentenryck. An efficient arc consistency algorithm for a class of csp problems. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 325–330, 1991.

8
- 0009345118
- REF-ARF: A System for Solving Problems Stated as Procedures
- (1970) Artificial Intelligence , vol.1 , pp. 27-120
- Fikes¹

9
- 84916576659
- E. C. Freuder. Using metalevel constraint knowledge to reduce constraint checking. In Proceedings of the Workshop on Constraint Processing, ECAI'94, Amsterdam, The Netherlands, pages 27–33, 1994.

10
- 0003464393
- Harper and Row
- (1986) Logic for Computer Sciences, Foundations of Automatic Theorem Proving
- Gallier¹

11
- 84916576658
- H. Kirchner. On the Use of Constraints in Automated Deduction. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 128–146. Springer-Verlag, 1995.

12
- 0002563907
- Designing constraint logic programming languages using computational systems
- P.V. Hentenryck, V. Saraswat, The MIT press
- (1995) Principles and Practice of Constraint Programming. The Newport Papers , pp. 131-158
- Kirchner¹ Kirchner² Vittek³

13
- 84916576657
- C. Kirchner, H. Kirchner, and M. Vittek. ELAN, User Manual. INRIA Loraine & CRIN, Campus scientifique, 615, rue du Jardin Botanique, BP-101, 54602 Villers-lès-Nancy Cedex, France, November 1995.

14
- 0002514541
- Algorithms for Constraint-Satisfaction Problems: A Survey
- Spring
- (1992) Artificial Intelligence Magazine , vol.13 , Issue.1 , pp. 32-44
- Kumar¹

15
- 84916576656
- J. H. M. Lee and H. F. Leung. Incremental Querying in the Concurrent CLP Language IFD-Constraint Pandora. In K. M. George, J. H. Carroll, D. Oppenheim, and J. Hightower, editors, Proceedings of the 11th Anual Symposium on Applied Computing, SAC'96, Philadelphia, Pennsylvania, USA, pages 387–392, February 1996.

16
- 0012476573
- Addison-Wesley Publishing Company
- (1988) Constraint Programming Languages, Their Specification and Generation
- Leler¹

17
- 49449120803
- Consistency in Networks of Relations
- (1977) Artificial Intelligence , vol.8 , pp. 99-118
- Mackworth¹

18
- 0021828305
- The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
- (1985) Artificial Intelligence , vol.25 , pp. 65-74
- Mackworth¹ Freuder²

19
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , Issue.1 , pp. 73-155
- Meseguer¹

20
- 0022677637
- Arc and Path Consistency Revisited
- (1986) Artificial Intelligence , vol.28 , pp. 225-233
- Mohr¹ Henderson²

21
- 0016050041
- Networks of constraints: Fundamental properties and applications to picture processing
- (1974) Information Sciences , vol.7 , pp. 95-132
- Montanari¹

22
- 0002151554
- Tree Search and Arc Consistency in Constraint-Satisfaction Algorithms
- L. Kanal, V. Kumar, Springer-Verlag
- (1988) Search in Artificial Intelligence , pp. 287-342
- Nadel¹

23
- 0026819962
- Arc consistency for factorable relations
- (1992) Artificial Intelligence , vol.53 , pp. 329-342
- Perlin¹

24
- 0003683967
- The MIT press
- (1989) Constraint Satisfaction in Logic Programming
- van Hentenryck¹

25
- 84916576655
- R. J. Wallace. Why AC-3 is almost always better than AC-4 for establishing arc concsistency in CSPs. In Proceedings IJCAI-93, pages 239–245, 1993.

26
- 0002680001
- Understanding lines drawings of scenes with shadows
- P.H. Winston, McGraw-Hill
- (1975) The Psychology of Computer Vision , pp. 19-91
- Waltz¹

27
- 0030548180
- Backtracking along with constraint processing and their time complexities
- (1996) Journal of Experimental & Theoretical Artificial Intelligence , vol.8 , pp. 63-74
- Zahn¹ Hower²

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