{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:24Z","timestamp":1773930564025,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642399541","type":"print"},{"value":"9783642399558","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39955-8_3","type":"book-chapter","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T05:17:35Z","timestamp":1380086255000},"page":"25-36","source":"Crossref","is-referenced-by-count":8,"title":["MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Cardoso","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Abreu, R., van Gemund, A.J.C.: A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In: Symposium on Abstraction, Reformulation, and Approximation, SARA 2009 (2009)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Testing: Academic and Industrial Conference Practice and Research Techniques, TAICPART 2007 (2007)","DOI":"10.1109\/TAICPART.2007.4344104"},{"key":"3_CR3","unstructured":"de Kleer, J., Williams, B.C.: Readings in model-based diagnosis (1992)"},{"key":"3_CR4","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: Symposium on Opearting Systems Design & Implementation, OSDI 2004 (2004)"},{"key":"3_CR5","unstructured":"Feldman, A., Provan, G., Van Gemund, A.: Computing minimal diagnoses by greedy stochastic search. In: AAAI Conference on Artificial intelligence, AAAI 2008 (2008)"},{"key":"3_CR6","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness (1990)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G., Wu, R., Yi, L.: An empirical investigation of program spectra. In: Program Analysis for Software Tools and Engineering, PASTE 1998 (1998)","DOI":"10.1145\/277631.277647"},{"key":"3_CR8","unstructured":"Pill, I., Quaritsch, T.: Optimizations for the boolean approach to computing minimal hitting sets. In: European Conference on Artificial Intelligence, ECAI 2012 (2012)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1) (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Rubin, J.: A Technique for the Solution of Massive Set Covering Problems, with Application to Airline Crew Scheduling (1973)","DOI":"10.1287\/trsc.7.1.34"},{"key":"3_CR11","unstructured":"Ruchkys, D.P., Song, S.W.: A parallel approximation hitting set algorithm for gene expression analysis. In: Symposium on Computer Architecture and High Performance Computing (2002)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Wotawa, F.: A variant of Reiter\u2019s hitting-set algorithm. Information Processing Letters\u00a079(1) (2001)","DOI":"10.1016\/S0020-0190(00)00166-6"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-74171-8_16","volume-title":"Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues","author":"X. Zhao","year":"2007","unstructured":"Zhao, X., Ouyang, D.: Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. In: Huang, D.-S., Heutte, L., Loog, M. (eds.) ICIC 2007. LNCS, vol.\u00a04681, pp. 157\u2013166. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Multicore Software Engineering, Performance, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39955-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T14:50:55Z","timestamp":1558104655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39955-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399541","9783642399558"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}