Abstract
In this paper we examine a technology for solving problems on graphs in the constraint programming framework called Subdefinite Models. We describe in brief the mechanism of constraint propagation underlying it. We present in detail the facilities for specification of graph problems as Subdefinite models. We discuss a class of graph problems with emphasizing on ones having not discussed before
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mayoh, B.: Constraint Programming and Artificial Intelligence: In: Mayoh, B., Tyugu, E., Penjaam, J. (eds.): Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia. Springer-Verlag, Berlin Heidelberg New York (1993) 18–53
Narin’yani, A. S.: Subdefiniteness and Basic Means of Knowledge Representation. Computers and Artificial Intelligence, Bratislawa 2, No.5 (1983) 443–452
Ushakov, D.: Some Formal Aspects of Subdefinite Models. Preprint Institute of Informatics Systems, Novosibirsk 49 (1998)
Telerman, V., Ushakov, D.: Data Types in Subdefinite Models. In: Calmet, J., Campbell, J. A., Pfalzgraf, J. (eds.): Artificial Intelligence and Symbolic Mathematical Computation: Proceedings. Lecture Notes in Computer Science, Vol. 1138. Springer-Verlag, Berlin Heidelberg New York (1996) 305–319
Telerman, V., Ushakov, D.: Constraint Satisfaction Techniques for Mathematical Programming Problems. In: Proceedings of International Conference on Interval Methods and their Application in Global Optimization, INTERVAL’98. Nanjing, China (1998)
Telerman, V., Sidorov, V., Ushakov, D.: Problem Solving in the Object-Oriented Technological Environment NeMo+. In: Bjørner, D., Broy, M., Pottosin, I. V. (eds.): Perspectives of System Informatics: Proceedings. Lecture Notes in Computer Science, Vol. 1181. Springer-Verlag, Berlin Heidelberg New York (1996) 91–100
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sidorov, V., Telerman, V., Ushakov, D. (2000). Constraint Programming Techniques for Solving Problems on Graphs. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_38
Download citation
DOI: https://doi.org/10.1007/3-540-46562-6_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67102-2
Online ISBN: 978-3-540-46562-1
eBook Packages: Springer Book Archive