{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:48:47Z","timestamp":1730198927974,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693103","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"454-464","source":"Crossref","is-referenced-by-count":11,"title":["Measuring the structural complexity of feature models"],"prefix":"10.1109","author":[{"given":"Richard","family":"Pohl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vanessa","family":"Stricker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.152"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9061-0"},{"key":"17","article-title":"Feature- Oriented domain analysis (FODA) feasibility study","author":"kang","year":"1990","journal-title":"Software Engineering Institute Technical Report"},{"key":"36","first-page":"179","article-title":"Measuring complexity of domain models represented by feature diagrams","volume":"38","author":"s?tuikys","year":"2009","journal-title":"information technology and control"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_27"},{"key":"33","article-title":"Variability model of the Linux kernel","author":"she","year":"2010","journal-title":"Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm052"},{"key":"34","first-page":"827","article-title":"Towards an optimal CNF encoding of boolean cardinality constraints","author":"sinz","year":"2005","journal-title":"Proc 11th Int Conf on Principles and Practice of Constraint Programming"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232832"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_19"},{"key":"14","first-page":"58","article-title":"The structure of tractable constraint satisfaction problems","volume":"4162","author":"grohe","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"journal-title":"Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width","year":"2010","author":"ganian","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17493-3_14"},{"key":"21","first-page":"231","article-title":"SAT-based analysis of feature models is easy","author":"mendonca","year":"2009","journal-title":"Proceedings of the 13th Int Software Product Line Conf SPLC '09"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973068.98"},{"journal-title":"Efficient Reasoning Techniques for Large Scale Feature Models","year":"2008","author":"mendonc?a","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2005.03.003"},{"key":"24","first-page":"371","article-title":"The order encoding: From tractable CSP to tractable SAT","author":"petke","year":"2011","journal-title":"Proc 14th Int Conf on Theory and Application of Satisfiability Testing"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100068"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(84)90013-3"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.04.003"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_30"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04244-7_27"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9127-2"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/11917496_1"},{"journal-title":"Handbook of Satisfiability","year":"2009","author":"biere","key":"6"},{"journal-title":"ETHOM An Evolutionary Algorithm for Optimized Feature Models Generation (V 1 1)","year":"2012","author":"segura","key":"32"},{"key":"5","first-page":"381","article-title":"Automated reasoning on feature models","author":"benavides","year":"2005","journal-title":"Proc of 12th International Conf on Advanced Information Systems Engineering"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"4","article-title":"A first step towards a framework for the automated analysis of feature models","author":"benavides","year":"2006","journal-title":"Managing Variability for Software Product Lines Working With Variability Mechanisms"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(99)00184-5"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693103.pdf?arnumber=6693103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T19:10:56Z","timestamp":1580843456000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6693103\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693103","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}