Advertisement

The CHIP system : Constraint handling in Prolog

  • M. Dincbas
  • P. Van Hentenryck
  • H. Simonis
  • A. Aggoun
  • A. Herold
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

References

  1. [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. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • M. Dincbas
    • 1
  • P. Van Hentenryck
    • 1
  • H. Simonis
    • 1
  • A. Aggoun
    • 1
  • A. Herold
    • 1
  1. 1.European Computer-Industry Research Centre (ECRC)Munich 81F.R.Germany

Personalised recommendations