{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:50Z","timestamp":1774602230195,"version":"3.50.1"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100068","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"313-322","source":"Crossref","is-referenced-by-count":38,"title":["A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models"],"prefix":"10.1109","author":[{"given":"Richard","family":"Pohl","sequence":"first","affiliation":[]},{"given":"Kim","family":"Lauenroth","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","year":"0"},{"key":"35","author":"whaley","year":"0","journal-title":"JavaBDD"},{"key":"17","year":"0"},{"key":"36","author":"wohlin","year":"2002","journal-title":"Experimentation in Software Engineering an Introduction"},{"key":"18","year":"0"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.50"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"34","author":"tsang","year":"1995","journal-title":"Foundations of Constraint Satisfaction"},{"key":"16","first-page":"31","article-title":"Mistral, a constraint satisfaction library","author":"hebrard","year":"0","journal-title":"Proc 3rd Int'l CSP Solver Competition 2008"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"11","article-title":"The semantics of FODA feature diagrams","author":"bontemps","year":"0","journal-title":"Proc Workshop on Software Variability Management for Product Derivation - Towards Tool Support 2004"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"21","article-title":"The CHOCO constraint programming solver","author":"jussien","year":"0","journal-title":"Proc Workshop on Open-Source Software for Integer and Contraint Programming 2008"},{"key":"20","author":"janota","year":"2008","journal-title":"Formal Methods in Software Product Lines Concepts Survey and Guidelines"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"key":"24","author":"le berre","year":"0","journal-title":"SAT4J"},{"key":"25","author":"lind-nielsen","year":"0","journal-title":"Buddy - A Binary Decision Diagram Package"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"28","author":"rueda","year":"2010","journal-title":"Functional and Performance Testing of Feature Model Analysis Tools Extending the FaMa Ecosystem"},{"key":"29","article-title":"Anatomy and empirical evaluation of modern SAT solvers","author":"sakallah","year":"2011","journal-title":"Bulletin of the EATCS"},{"key":"3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/SAT190039","article-title":"PicoSAT essentials","volume":"4","author":"biere","year":"2008","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"key":"2","first-page":"7","article-title":"Feature models, grammars, and propositional formulas","author":"batory","year":"0","journal-title":"Proc 9th Int'l Software Product Line Conference 2005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"30","author":"somenzi","year":"0","journal-title":"CUDD Colorado University Decision Diagram Package"},{"key":"7","first-page":"677","article-title":"Using constraint programming to reason on feature models","author":"benavides","year":"0","journal-title":"Proc 17th Int'l Conference on Software Engineering and Knowledge Engineering 2005"},{"key":"6","first-page":"491","article-title":"Automated reasoning on feature models","author":"benavides","year":"0","journal-title":"Proc 17th Int'l Conference on Advanced Information Systems Engineering 2005"},{"key":"32","author":"tamura","year":"2004","journal-title":"Cream"},{"key":"5","article-title":"Coping with automated reasoning on software product lines","author":"benavides","year":"0","journal-title":"Proc 2nd Groningen Workshop on Software Variability Management 2004"},{"key":"31","author":"tabachnick","year":"2007","journal-title":"Using Multivariate Statistics"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"9","first-page":"39","article-title":"A first step towards a framework for the automated analysis of feature models","author":"benavides","year":"0","journal-title":"Proc Managing Variability for Software Product Lines Working with Variability Mechanisms 2006"},{"key":"8","article-title":"A survey on the automated analysis of feature models","volume":"11","author":"benavides","year":"2006","journal-title":"Jornadas de Ingeniera del Software Y Bases de Datos (JISBD)"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lawrence, KS, USA","start":{"date-parts":[[2011,11,6]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100068.pdf?arnumber=6100068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,28]],"date-time":"2020-06-28T23:00:27Z","timestamp":1593385227000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100068\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100068","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}