| Constraint (Logic) Programming: A Bibliography (1996) | |||||||||||||||
Abstract | |||||||||||||||
| ion for unstructured CSPs. In SARA'92: Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, pages 126--133, 1992. http://www.cs.utexas.edu/users/schrag/SARA.ps. [733] R. Schrag and D. Miranker. Abstraction and the CSP phase transition boundary. In SAIM'95: Proceedings of the 4th International Symposium on Artificial Intelligence and Mathematics, pages 126--133, 1995. http://www.cs.utexas.edu/users/schrag. [734] D. De Schreye and M. Bruynooghe. The compilation of forward checking regimes through meta-interpretation and transformation. In H. Abramson and M. H. Rogers, editors, MetaProgramming in Logic Programming, pages 217--232. MIT Press, 1989. [735] A. Schrijver. Theory of Linear and Integer Programming. Wiley and Sons, 1986. [736] Christian Schulte, Gert Smolka, and Jorg Wurtz. Encapsulated search and constraint programming in Oz. In Alan Borning, editor, Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science. Spr... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||