{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:31:32Z","timestamp":1759638692888,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575689"},{"type":"electronic","value":"9783540482338"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57568-5_271","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:10:50Z","timestamp":1330261850000},"page":"399-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["On Horn envelopes and hypergraph transversals"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Kavvadias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos H.","family":"Papadimitriou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martha","family":"Sideri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"D. Angluin, M. Frazier, L. Pitt \u201cLearning conjunctions of Horn clauses,\u201d 1990 FOCS pp. 186\u2013192.","DOI":"10.1109\/FSCS.1990.89537"},{"key":"43_CR2","unstructured":"C. Berge Graphes et Hypergraphes, Dunod, 1980."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"R. Dechter and J. Pearl \u201cStructure identification in relational data,\u201d Artificial Intelligence, 1993.","DOI":"10.7551\/mitpress\/2122.003.0008"},{"key":"43_CR4","unstructured":"T. Eiter, G. Gottlob \u201cIdentifying the minimal transversals of a hypergraph and related problems,\u201d SIAM J. Comp., to appear."},{"key":"43_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0020-0190(88)90065-8","volume":"27","author":"D. S. Johnson","year":"1988","unstructured":"D. S. Johnson, M. Yannakakis, C. H. Papadimitriou \u201cOn generating all maximal independent sets,\u201d IPL 27, 119\u2013123, 1988.","journal-title":"IPL"},{"key":"43_CR6","unstructured":"H. A. Kautz, M. J. Kearns, B. Selman \u201cHorn approximations of empirical data,\u201d to appear in Artificial Intelligence, 1993."},{"key":"43_CR7","unstructured":"H. A. Kautz, M. J. Kearns, B. Selman \u201cReasoning with characteristic models,\u201d to appear in AAAI, 1993."},{"key":"43_CR8","unstructured":"C. H. Papadimitriou \u201cOn selecting a satsfying truth assignment,\u201d Proc. 1991 FOCS."},{"key":"43_CR9","unstructured":"B. Selman, H. A. Kautz \u201cKnowledge compilation using Horn approximation,\u201d Proc. AAAI 1991."}],"container-title":["Lecture Notes in Computer Science","Algorithms and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57568-5_271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:11:48Z","timestamp":1742595108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57568-5_271"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575689","9783540482338"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57568-5_271","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}