The CHIP system : Constraint handling in Prolog-Reference-Cited by-同舟云学术

The CHIP system : Constraint handling in Prolog

Published:1988 Issue: Volume: Page:774-775
ISSN:0302-9743
Container-title:9th International Conference on Automated Deduction
language:
Short-container-title:

Author:

Dincbas M.,Van Hentenryck P.,Simonis H.,Aggoun A.,Herold A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0012892

Reference4 articles.

1. M. Dincbas, H. Simonis, and P. Van Hentenryck “Extending Equation Solving and Constraint Handling in Logic Programming” In MCC, editor, Colloquium on Resolution of Equations in Algebraic Structures (CREAS), Texas, May 1987.

2. H. Simonis and M. Dincbas. “Using an Extended Prolog for Digital Circuit Design” In IEEE International Workshop on AI Applications to CAD Systems for Electronics, pages 165–188, Munich, W.Germany, October 1987.

3. P. Van Hentenryck and M. Dincbas. “Forward Checking in Logic Programming” In M.I.T Press, editor, Fourth International Conference on Logic Programming, pages 229–256, Melbourne, Australia, May 1987.

4. M. Dincbas, H. Simonis, and P. Van Hentenryck. “Solving Large Combinatorial Problems in Logic Programming” Journal of Logic Programming, 1988. (To appear).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Note from the Editor;INFORMS Journal on Computing;2024-05

2. A Framework to Reduce the Human Factors for Analysis of Constraint Solvers in Project Management;Handbook of Research on the Role of Human Factors in IT Project Management;2020

3. A Framework to Simplify Usability Analysis of Constraint Solvers;Lecture Notes in Computer Science;2018

4. On the Use of DesertFD as a Reconfiguration Engine for Embedded Systems;2006 IEEE Mountain Workshop on Adaptive and Learning Systems;2006-07

5. Indexical-Based Solver Learning;Lecture Notes in Computer Science;2002