{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T23:49:29Z","timestamp":1750895369301},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:21Z","timestamp":1330280061000},"page":"463-480","source":"Crossref","is-referenced-by-count":5,"title":["A constraint-based approach to diagnosing software problems in computer networks"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Sabin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihaela","family":"Sabin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert D.","family":"Russell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene C.","family":"Freuder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"28_CR1","unstructured":"Albitz, P. and Liu, C., DNS and BIND, O'Reilly & Associates, Inc., Sebastopol, CA, 1994."},{"key":"28_CR2","first-page":"276","volume":"1","author":"R.R. Bakker","year":"1993","unstructured":"Bakker, R.R., Dikker, F., Tempelman, F. and Wognum, P.M., Diagnosing and solving over-determined constraint satisfaction problems, Proceedings of the 13th International Joint Conference on Artificial Intelligence, 1, 276\u2013281, 1993.","journal-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence"},{"key":"28_CR3","unstructured":"Bouloutas, A.T., Modeling Fault Management in Communication Networks, PhD Thesis, Columbia University, 1990."},{"key":"28_CR4","volume-title":"Internetworking with TCP\/IP, vol. 1","author":"D.E. Comer","year":"1991","unstructured":"Comer, D.E., Internetworking with TCP\/IP, vol. 1, Prentice Hall, Inc., Englewoods Cliffs, NJ, 1991."},{"key":"28_CR5","unstructured":"DEC OSF\/1, Configuring Your Network Software, Digital Equipment Corporation, 1993."},{"key":"28_CR6","unstructured":"El Fattah, Y. and Dechter, R., Empirical Evaluation of Diagnosis as Optimization in Constraint Networks, Working Papers of The Third International Workshop on Principles of Diagnosis (DX-92), (1992)."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Freuder, E.C. and Mackworth, A.K., Special Volume, Constraint-Based Reasoning, Artificial Intelligence, 58, 1992.","DOI":"10.1016\/0004-3702(92)90002-F"},{"key":"28_CR8","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E.C. Freuder","year":"1992","unstructured":"Freuder, E.C. and Wallace, R.J., Partial Constraint Satisfaction, Artificial Intelligence, 58, 21\u201371, 1992.","journal-title":"Artificial Intelligence"},{"key":"28_CR9","volume-title":"Technical Report","author":"A. Ghedamsi","year":"1993","unstructured":"Ghedamsi, A., von Bochmann, G. and Dssouli, R., Diagnosing multiple faults in finite state machines, Technical Report, Dept. d'IRO, Universite de Montreal, Canada, January 1993."},{"volume-title":"Readings in Model-based Diagnosis","year":"1992","key":"28_CR10","unstructured":"Hamscher, W., Console, L. and de Kleer, J., editors, Readings in Model-based Diagnosis, Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1992."},{"key":"28_CR11","volume-title":"TCP\/IP Network Administration","author":"C. Hunt","year":"1994","unstructured":"Hunt, C., TCP\/IP Network Administration, O'Reilly & Associates, Inc., Sebastopol, CA, 1994."},{"key":"28_CR12","unstructured":"ISO, ISO Open Systems Interconnection \u2014 Basic Reference Model, Second Edition, ISO\/TC 97\/SC 16(ISO CD 7498-1), 1992."},{"key":"28_CR13","first-page":"215","volume":"XI","author":"Y. J. Lin","year":"1991","unstructured":"Lin, Y. J. and Wuu, G., A constraint approach for temporal intervals in the analysis of timed transitions, Protocol Specification, Testing and Verification, XI, 215\u2013230, 1991.","journal-title":"Protocol Specification, Testing and Verification"},{"key":"28_CR14","unstructured":"Miller, M.A., Troubleshooting TCP\/IP, M&T Books, 1993."},{"key":"28_CR15","unstructured":"Mittal, S. and Falkenhainer, B., Dynamic Constraint Satisfaction Problems, Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), 25\u201332, 1990."},{"key":"28_CR16","unstructured":"Mittal, S., Reasoning about Resource Constraints in Configuration Tasks, SSL Technical Report, XEROX Park, 1990."},{"key":"28_CR17","first-page":"1395","volume":"2","author":"S. Mittal","year":"1989","unstructured":"Mittal, S. and Frayman, F., Towards a Generic Model of Configuration Tasks, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 2, 1395\u20131401, 1989.","journal-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Mockapetris, P., Domain Names \u2014 Concepts and Facilities, Request For Comments 1034, 1987.","DOI":"10.17487\/rfc1034"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Postel, J., File Transfer Protocol, Request For Comments 959, ISI, October 1985.","DOI":"10.17487\/rfc0959"},{"key":"28_CR20","volume-title":"PhD Thesis","author":"M. Riese","year":"1993","unstructured":"Riese, M., Model-based Diagnosis of Communication Protocols, PhD Thesis, Swiss Federal Institute of Technology, Lausanne, 1993."},{"key":"28_CR21","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/B978-0-444-89874-6.50009-X","volume":"XII","author":"C.J. Wang","year":"1992","unstructured":"Wang, C.J. and Liu, M.T., A test suite generation method for extended finite state machines using axiomatic semantics approach, Protocol Specification, Testing and Verification, XII, 29\u201343, 1992.","journal-title":"Protocol Specification, Testing and Verification"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:57Z","timestamp":1605646677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}