{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:34:28Z","timestamp":1782876868325,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Ministry of Science, Innovation and Universities","award":["DPI2016-77677-P and RTI2018-101204-B-C22"],"award-info":[{"award-number":["DPI2016-77677-P and RTI2018-101204-B-C22"]}]},{"name":"Consejer\u00eda de Econom\u00eda, Innovaci\u00f3n, Ciencia y Empleo, Junta de Andaluc\u00eda","award":["METAMORFOSIS project"],"award-info":[{"award-number":["METAMORFOSIS project"]}]},{"name":"TASOVA network","award":["MCIU-AEI TIN2017-90644-REDT"],"award-info":[{"award-number":["MCIU-AEI TIN2017-90644-REDT"]}]},{"name":"Community of Madrid","award":["RoboCity2030 S2013\/MIT-2748"],"award-info":[{"award-number":["RoboCity2030 S2013\/MIT-2748"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382025.3414951","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:22:18Z","timestamp":1602876138000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Uniform and scalable SAT-sampling for configurable systems"],"prefix":"10.1145","author":[{"given":"Ruben","family":"Heradio","sequence":"first","affiliation":[{"name":"Universidad Nacional de Educaci\u00f3n a Distancia, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Fernandez-Amoros","sequence":"additional","affiliation":[{"name":"Universidad Nacional de Educaci\u00f3n a Distancia. Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[{"name":"University of Seville, Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"University of Seville, Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Fast Sampling of Perfectly Uniform Satisfying Assignments. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT)","author":"Achlioptas Dimitris","year":"2018"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9400-8"},{"key":"e_1_3_2_1_3_1","volume-title":"FORCE: A Fast and Easy-to-Implement Variable-Ordering Heuristic. In ACM Great Lakes Symposium on VLSI (GLSVLSI). Washington, D. C., USA, 116--119","author":"Aloul Fadi A."},{"key":"e_1_3_2_1_4_1","first-page":"1562","article-title":"MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation","volume":"10","author":"Aloul Fadi A.","year":"2004","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1145\/3358960.3379137","volume-title":"Sampling Effect on Performance Prediction of Configurable Systems: A Case Study. In ACM\/SPEC International Conference on Performance Engineering (ICPE). Edmonton AB, Canada, 277--288","author":"Pereira Juliana Alves","year":"2020"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2885"},{"key":"e_1_3_2_1_8_1","unstructured":"Armin Biere Marijn Heule Hans van Maaren and Toby Walsh. 2009. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press.  Armin Biere Marijn Heule Hans van Maaren and Toby Walsh. 2009. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press."},{"key":"e_1_3_2_1_9_1","volume-title":"On Parallel Scalable Uniform SAT Witness Generation. In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Chakraborty Supratik"},{"key":"e_1_3_2_1_10_1","volume-title":"33rd Conference on Artificial Intelligence (AAAI)","author":"Chakraborty Sourav"},{"key":"e_1_3_2_1_11_1","volume-title":"25th International Conference on Computer Aided Verification (CAV)","author":"Chakraborty Supratik"},{"key":"e_1_3_2_1_12_1","unstructured":"Laura M. Chihara and Tim C. Hesterberg. 2011. Mathematical Statistics with Resampling and R. Peds-R-Us Medical Education Llc.  Laura M. Chihara and Tim C. Hesterberg. 2011. Mathematical Statistics with Resampling and R. Peds-R-Us Medical Education Llc."},{"key":"e_1_3_2_1_13_1","unstructured":"Jacon Cohen. 1988. Statistical Power Analysis for the Behavioral Sciences. Routledge.  Jacon Cohen. 1988. Statistical Power Analysis for the Behavioral Sciences. Routledge."},{"key":"e_1_3_2_1_14_1","unstructured":"Ralph B. D'Agostino. 1986. Goodness-of-Fit-Techniques. CRC Press.  Ralph B. D'Agostino. 1986. Goodness-of-Fit-Techniques. CRC Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_16_1","volume-title":"Efficient Sampling of SAT Solutions for Testing. In 40th International Conference on Software Engineering (ICSE)","author":"Dutra Rafael","year":"2018"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331073"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336313"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.65.041905"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9573-6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_22_1","volume-title":"Supporting the Statistical Analysis of Variability Models. In 41st International Conference on Software Engineering (ICSE) (Montreal","author":"Heradio Ruben","year":"2019"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Michael H\u00fcbner and J\u00fcrgen Becker. 2011. Multiprocessor System-on-Chip: Hardware Design and Tool Integration. Springer.  Michael H\u00fcbner and J\u00fcrgen Becker. 2011. Multiprocessor System-on-Chip: Hardware Design and Tool Integration. Springer.","DOI":"10.1007\/978-1-4419-6460-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9204-z"},{"key":"e_1_3_2_1_25_1","unstructured":"Robert Kabacoff. 2011. R in Action: Data analysis and graphics with R. Manning Publications.  Robert Kabacoff. 2011. R in Action: Data analysis and graphics with R. Manning Publications."},{"key":"e_1_3_2_1_26_1","volume-title":"Distance-Based Sampling of Software Configuration Spaces. In 41st International Conference on Software Engineering (ICSE)","author":"Kaltenecker C."},{"key":"e_1_3_2_1_27_1","volume-title":"Statistical Modeling: A Fresh Approach. Peds-R-Us Medical Education, Llc.","author":"Kaplan Daniel","year":"2012"},{"key":"e_1_3_2_1_28_1","unstructured":"Donald E. Knuth. 2009. The Art of Computer Programming Volume 4 Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional.  Donald E. Knuth. 2009. The Art of Computer Programming Volume 4 Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0662-9"},{"key":"e_1_3_2_1_30_1","volume-title":"Enabling Efficient Automated Configuration Generation and Management. In 23rd International Systems and Software Product Line Conference (SPLC)","author":"Krieter Sebastian","year":"2019"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180159"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.3389\/fpsyg.2013.00863"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.61115"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Christoph Meinel and Thorsten Theobald. 1998. Algorithms and Data Structures in VLSI Design: OBDD - Foundations And Applications. Springer Chapter Ch. 9: Optimizing the Variable Order 145--170.  Christoph Meinel and Thorsten Theobald. 1998. Algorithms and Data Structures in VLSI Design: OBDD - Foundations And Applications. Springer Chapter Ch. 9: Optimizing the Variable Order 145--170.","DOI":"10.1007\/978-3-642-58940-9_9"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Marcilio Mendon\u00e7a. 2009. Efficient Reasoning Techniques for Large Scale Feature Models. Ph.D. Dissertation. University of Waterloo.  Marcilio Mendon\u00e7a. 2009. Efficient Reasoning Techniques for Large Scale Feature Models. Ph.D. Dissertation. University of Waterloo.","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_37_1","volume-title":"Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features. In 23rd International Systems and Software Product Line Conference (SPLC)","author":"Mu\u00f1oz Daniel-Jesus","year":"2019"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106238"},{"key":"e_1_3_2_1_39_1","volume-title":"Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. In International Joint Conference on Artificial Intelligence (IJCAI)","author":"Narodytska Nina","year":"2007"},{"key":"e_1_3_2_1_40_1","volume-title":"Constraint-Based Random Stimuli Generation for Hardware Verification. In 18th Innovative Applications of Artificial Intelligence Conference (IAAI)","author":"Naveh Yehuda","year":"2006"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Alexander N\u00f6hrer and Alexander Egyed. 2013. C2O configurator: a tool for guided decision-making. Automated Software Engineering 20 2 (01 Jun 2013) 265--296.  Alexander N\u00f6hrer and Alexander Egyed. 2013. C2O configurator: a tool for guided decision-making. Automated Software Engineering 20 2 (01 Jun 2013) 265--296.","DOI":"10.1007\/s10515-012-0117-4"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_44_1","first-page":"1","article-title":"t-wise coverage by uniform sampling. In 23rd International Systems and Software Product Line Conference (SPLC). Paris","volume":"15","author":"Oh Jeho","year":"2019","journal-title":"France"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2015.2498764"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_48_1","unstructured":"Subhajit Roy Awanish Pandey Brendan Dolan-Gavitt and Yu Hu. 2018. Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults. In 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). Lake Buena Vista Florida USA 224--234.  Subhajit Roy Awanish Pandey Brendan Dolan-Gavitt and Yu Hu. 2018. Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults. In 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) . Lake Buena Vista Florida USA 224--234."},{"key":"e_1_3_2_1_49_1","volume-title":"22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Gilles Barthe, Geoff Sutcliffe, and Margus Veanes (Eds.). Awassa, Ethiopia, 620--636","author":"Sharma Shubham"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934472"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233035"},{"key":"e_1_3_2_1_53_1","volume-title":"Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-Influence Models. In 22nd International Systems and Software Product Line Conference (SPLC)","author":"Weckesser Markus","year":"2018"},{"key":"e_1_3_2_1_54_1","volume-title":"Simplifying Constraint Solving in Random Simulation Generation. In 11th IEEE\/ACM International Workshop on Logic & Synthesis (IWLS)","author":"Yuan Jun","year":"2002"}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","location":"Montreal Quebec Canada","acronym":"SPLC '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414951","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382025.3414951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:07Z","timestamp":1750197727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":54,"alternative-id":["10.1145\/3382025.3414951","10.1145\/3382025"],"URL":"https:\/\/doi.org\/10.1145\/3382025.3414951","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}