References
Peter Barth. CLP(PB); A Meta-Interpreter in CLP(R). Technical report, Max-Planck-Institut für Informatik, Saarbrücken, 1992.
A. Bockmayr. Logic programming with pseudo-boolean constraints. Technical Report mpii-91-227, Max-Planck-Institut für Informatik, Saarbrücken, 1991. to appear in: A. Colmerauer and gnF. Benhamou, editors, Constraint Logic Programming — Selected Papers.
R. Fortet. Applications de l'algèbre de boole en recherche opérationelle. Rev. FranÇaise Recherche Opér., 4:17–26, 1960.
P.L. Hammer and S. Rudeanu. Boolean Methods in Operations Research and Related Areas. Springer-Verlag, 1968.
Nevin Heintze, Spiro Michaylov, Peter Stuckey, and Roland Yap. On meta-programming in CLP(R). In Ewing Lusk and Ross Overbeek, editors, Logic Programming: Proceedings of the North Amercian Conference, 1989, pages 52–68. MIT Press, October 1989.
Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. Technical Report 86/73, Monash University, Victoria, Australia, June 1986.
Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. Technical Report RC 16292 (#72336) 11/15/90, IBM Research Division, November 1990.
R.E. Jeroslow and J. Wang. Solving propositional satisfiability problems. Annals of Mathematics and AI, 1, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barth, P. (1992). CLP(PB). In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_164
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_164
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive