Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

The CHIP system : Constraint handling in Prolog

  • Conference paper
  • First Online:
9th International Conference on Automated Deduction (CADE 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 310))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. European Computer-Industry Research Centre (ECRC), Arabellastrasse 17, 8000, Munich 81, F.R.Germany

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

Authors
  1. M. Dincbas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Van Hentenryck
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Simonis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Aggoun
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. A. Herold
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Herold, A. (1988). The CHIP system : Constraint handling in Prolog. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012892

Download citation

  • DOI: https://doi.org/10.1007/BFb0012892

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19343-2

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation