{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T00:03:53Z","timestamp":1773792233324,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1109\/icecs.2007.4511190","type":"proceedings-article","created":{"date-parts":[[2008,5,5]],"date-time":"2008-05-05T16:21:05Z","timestamp":1210004465000},"page":"1115-1118","source":"Crossref","is-referenced-by-count":1,"title":["A Heuristic Fault Dictionary Reduction Methodology"],"prefix":"10.1109","author":[{"given":"Andrzej","family":"Pulka","sequence":"first","affiliation":[{"name":"Institute of Electronics, Silesian University of Technology, Gliwice, Poland. Andrzej.Pulka@polsl.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"309","article-title":"Experiences with VITAL Code Generator Controlled by a Nonmonotonic Inference Engine","author":"pulka","year":"1997","journal-title":"Proc of Workshop on LCMQA CHDL'97 and VHDL Forum"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.1999.766127"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1009617818678","article-title":"Completeness and Admissibility for General Heuristic Search Algorithms-A Theoretical Study:Basic Concepts and Proofs","volume":"5","author":"farreny","year":"0","journal-title":"Journal of Heuristics"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/19.893273"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s101150050007"},{"key":"ref15","first-page":"109","article-title":"Local Search and Backtracking vs. Non-Systematic Backtracking","year":"2001","journal-title":"Proc of AAAI 2001 Fall Symposium on Using Uncertainty Within Computation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2004.827085"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/03081079708945163"},{"key":"ref18","author":"yuan","year":"2006","journal-title":"Constraint-Based Verification"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2006.30"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/cta.4490130205"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1279","DOI":"10.1109\/PROC.1985.13281","article-title":"Fault diagnosis of analog circuits","volume":"73","author":"bandler","year":"1981","journal-title":"Proc of IEEE"},{"key":"ref6","first-page":"75","article-title":"Test and design for testability of analog and mixed-signal integrated circuits: theoretical basis and pragmatical approaches","author":"huertas","year":"1993","journal-title":"Proc of ECCTD Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1990.111904"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/03081079708945163"},{"key":"ref7","first-page":"877","article-title":"A DC Approach for Analog fault dictionary determination","author":"rutkowski","year":"1993","journal-title":"Proc of ECCTD Conference"},{"key":"ref2","first-page":"81","author":"reiter","year":"1980","journal-title":"A logic for default reasoning A"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1979.1084665"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639612"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2006.884112"}],"event":{"name":"2007 14th IEEE International Conference on Electronics, Circuits and Systems","location":"Marrakech, Morocco","start":{"date-parts":[[2007,12,11]]},"end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 14th IEEE International Conference on Electronics, Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4456901\/4510892\/04511190.pdf?arnumber=4511190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T20:20:21Z","timestamp":1773778821000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4511190\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icecs.2007.4511190","relation":{},"subject":[],"published":{"date-parts":[[2007,12]]}}}