{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:18:51Z","timestamp":1725560331934},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286530"},{"type":"electronic","value":"9783540318255"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548669_21","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:27:55Z","timestamp":1127816875000},"page":"194-203","source":"Crossref","is-referenced-by-count":11,"title":["Finding Rough Set Reducts with SAT"],"prefix":"10.1007","author":[{"given":"Richard","family":"Jensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tuson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"21_CR1","doi-asserted-by":"crossref","first-page":"419","DOI":"10.3233\/IDA-2001-5505","volume":"5","author":"A.A. Bakar","year":"2001","unstructured":"Bakar, A.A., Sulaiman, M.N., Othman, M., Selamat, M.H.: IP algorithms in compact rough classification modeling. Intelligent Data Analysis\u00a05(5), 419\u2013429 (2001)","journal-title":"Intelligent Data Analysis"},{"key":"21_CR2","unstructured":"Blake, C.L., Merz, C.J.: UCI Repository of machine learning databases. Irvine, University of California (1998), \n                    \n                      http:\/\/www.ics.uci.edu\/~mlearn\/"},{"issue":"9","key":"21_CR3","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1080\/088395101753210773","volume":"15","author":"A. Chouchoulas","year":"2001","unstructured":"Chouchoulas, A., Shen, Q.: Rough set-aided keyword reduction for text categorisation. Applied Artificial Intelligence\u00a015(9), 843\u2013873 (2001)","journal-title":"Applied Artificial Intelligence"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S1088-467X(97)00008-5","volume":"1","author":"M. Dash","year":"1997","unstructured":"Dash, M., Liu, H.: Feature Selection for Classification. Intelligent Data Analysis\u00a01(3), 131\u2013156 (1997)","journal-title":"Intelligent Data Analysis"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0004-3702(99)00048-X","volume":"112","author":"H.H. Hoos","year":"1999","unstructured":"Hoos, H.H., St\u00fctzle, T.: Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. Artificial Intelligence\u00a0112, 213\u2013232 (1999)","journal-title":"Artificial Intelligence"},{"issue":"12","key":"21_CR7","doi-asserted-by":"publisher","first-page":"1457","DOI":"10.1109\/TKDE.2004.96","volume":"16","author":"R. Jensen","year":"2004","unstructured":"Jensen, R., Shen, Q.: Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough Based Approaches. IEEE Transactions on Knowledge and Data Engineering\u00a016(12), 1457\u20131471 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/1098-111X(200101)16:1<105::AID-INT8>3.0.CO;2-S","volume":"16","author":"M. Kryszkiewicz","year":"2001","unstructured":"Kryszkiewicz, M.: Comparative Study of Alternative Types of Knowledge Reduction in Inconsistent Systems. International Journal of Intelligent Systems\u00a016(1), 105\u2013120 (2001)","journal-title":"International Journal of Intelligent Systems"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Nguyen, H.S., Skowron, A.: Boolean Reasoning for Feature Extraction Problems. In: Proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, pp. 117\u2013126 (1997)","DOI":"10.1007\/3-540-63614-5_11"},{"key":"21_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning About Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishing, Dordrecht (1991)"},{"key":"21_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7908-1776-8","volume-title":"Rough Sets: Mathematical Foundations. Advances in Soft Computing","author":"L. Polkowski","year":"2002","unstructured":"Polkowski, L.: Rough Sets: Mathematical Foundations. Advances in Soft Computing. Physica, Heidelberg (2002)"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-94-015-7975-9_21","volume-title":"Intelligent Decision Support","author":"A. Skowron","year":"1992","unstructured":"Skowron, A., Rauszer, C.: The discernibility matrices and functions in Information Systems. In: Slowinski, R. (ed.) Intelligent Decision Support, pp. 331\u2013362. Kluwer Academic Publishers, Dordrecht (1992)"},{"issue":"1-2","key":"21_CR13","first-page":"19","volume":"3","author":"J.A. Starzyk","year":"1999","unstructured":"Starzyk, J.A., Nelson, D.E., Sturtz, K.: Reduct Generation in Information Systems. Bulletin of the International Rough Set Society\u00a03(1-2), 19\u201322 (1999)","journal-title":"Bulletin of the International Rough Set Society"},{"key":"21_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-45620-1_26","volume-title":"Automated Deduction - CADE-18","author":"L. Zhang","year":"2002","unstructured":"Zhang, L., Malik, S.: The Quest for Efficient Boolean Satisfiability Solvers. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 295\u2013313. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548669_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:37:52Z","timestamp":1558283872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548669_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286530","9783540318255"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11548669_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}