{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:10Z","timestamp":1737063610061,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_28","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"414-428","source":"Crossref","is-referenced-by-count":11,"title":["Modelling Digital Circuits Problems with Set Constraints"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Azevedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"28_CR1","unstructured":"F. Azevedo and P. Barahona Benchmarks for Differential Diagnosis, at URL http:\/\/www-ssdi.di.fct.unl.pt\/~fa\/differential-diagnosis\/benchmarks.html , 1998."},{"key":"28_CR2","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000)","author":"F. Azevedo","year":"2000","unstructured":"F. Azevedo and P. Barahona. Constraints over an Eight-Valued Logic to Differentiate Diagnostic Theories, to appear in Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), W. Horn (Ed.), IOS Press, Amsterdam, 2000."},{"key":"28_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Interval Constraint Logic Programming, in Constraint Programming: Basics and Trends","author":"F. Benhamou","year":"1995","unstructured":"F. Benhamou, Interval Constraint Logic Programming, in Constraint Programming: Basics and Trends, LNCS 910, A. Podelski (Ed.), Springer, March 1995."},{"key":"28_CR4","unstructured":"ECRC, ECLiPSe (a) user manual, (b) extensions of the user manual, Technical Report, ECRC, 1994."},{"key":"28_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Constraint Programming: Basics and Trends","author":"T. Fr\u00fchwirth","year":"1995","unstructured":"T. Fr\u00fchwirth, Constraint Handling Rules, in Constraint Programming: Basics and Trends, LNCS 910, A. Podelski (Ed.), Springer, 1995."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"C. Gervet, Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language, Constraints, vol. 1(3), Kluwer, pp. 191\u2013244, March 1997.","DOI":"10.1007\/BF00137870"},{"key":"28_CR7","unstructured":"C. Gervet, personal communication"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"T. Gruning, U. Mahlstedt, H. Koopmeiners, DIATEST: A Fast Diagnostic Test Pattern Generator for Combinational Circuits, Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD91), pp. 194\u2013197, 1991","DOI":"10.1109\/ICCAD.1991.185229"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"I. Hartantol, V. Boppana, W.K. Fuchs, J.H. Patel, Diagnostic Test Pattern Generation For Sequential Circuits, Proc. 15th VLSI Test Symposium (VTS), Monterey, pp. 196\u2013202, 1997.","DOI":"10.1109\/VTEST.1997.600264"},{"key":"28_CR10","unstructured":"ISCAS. Special Session on ATPG, Proc. IEEE Symposium on Circuits and Systems, 1985."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming, Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pp. 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"20","key":"28_CR12","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey, Journal of Logic Programming, 19(20):503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"V. Manquinho and J. Marques Silva, On using satisfiability based pruning techniques in covering algorithms, Proc. ACM\/IEEE Design, Automation and Test in Europe Conf. 2000.","DOI":"10.1145\/343647.343797"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"I. Pomeranz, S.M. Reddy, A Diagnostic Test Generation Procedure for Synchronous Sequential Circuits based on Test Elimination, International Test Conference (ITC98). Washington, D.C., USA, pp. 1074\u20131083, 1998.","DOI":"10.1109\/TEST.1998.743306"},{"key":"28_CR15","unstructured":"L. G. Silva, L. M. Silveira and J. P. Marques-Silva, Algorithms for Solving Boolean Satisfiability in Combinational Circuits, in Proc. of the IEEE\/ACM Design and Test in Europe Conference (DATE), 1999."},{"key":"28_CR16","unstructured":"H. Simonis. Test Generation using the Constraint Logic Programming Language CHIP, in Proc. of the 6th International Conf. on Logic Programming, MIT Press, pp 101\u2013112, 1989."},{"key":"28_CR17","unstructured":"H. Simonis. Constraint Logic Programming Language as a Digital Circuit Design Tool, Thesis, 1992."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:05:17Z","timestamp":1737061517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}