{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:54Z","timestamp":1774602234919,"version":"3.50.1"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030760199","type":"print"},{"value":"9783030760205","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76020-5_4","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"63-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Product Optimization in Stepwise Design"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeho","family":"Oh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Heradio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"4_CR1","unstructured":"Agrawal, S., Chaudhuri, S., Narasayya, V.R.: Automated selection of materialized views and indexes in SQL Databases. In: VLDB (2000)"},{"key":"4_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature Models, Grammars and Propositional Formulas. In: SPLC (2005)","DOI":"10.1007\/11554844_3"},{"key":"4_CR4","unstructured":"Batory, D.: Automated Software Design Volume 1. Lulu.com (2020)"},{"key":"4_CR5","unstructured":"Batory, D.: Automated Software Design Volume 2. in development (2022)"},{"key":"4_CR6","unstructured":"Batory, D., B\u00f6rger, E.: Modularizing theorems for software product lines: the JBook case study. JUCS 14(12) (2008)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Batory, D., O\u2019Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM TOSEM (1992)","DOI":"10.1145\/136586.136587"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., Singhal, V., Thomas, J., Sirkin, M.: Scalable software libraries. In: ACM SIGSOFT (1993)","DOI":"10.1145\/256428.167078"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Batory, D.S., Gotlieb, C.C.: A unifying model of physical databases. In: ACM TODS (1982)","DOI":"10.1145\/319758.319760"},{"key":"4_CR10","unstructured":"Bergstra, J., Bengio, Y.: Random search for hyper-parameter optimization. J. Mach. Learn. Res. (2012)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-662-46681-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Chakraborty","year":"2015","unstructured":"Chakraborty, S., Fremont, D.J., Meel, K.S., Seshia, S.A., Vardi, M.Y.: On parallel scalable uniform SAT witness generation. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 304\u2013319. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_25"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Meel, K., Vardi, M.: A scalable and nearly uniform generator of SAT witnesses. In: CAV (2013)","DOI":"10.1007\/978-3-642-39799-8_40"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S.: An overview of query optimization in relational systems. In: PODS (1998)","DOI":"10.1145\/275487.275492"},{"key":"4_CR14","unstructured":"Devore, J.: Probability and Statistics for Engineering and the Sciences. Cengage Learning (2021)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: The Structure of \u2018THE\u2019-multiprogramming System. CACM (1968)","DOI":"10.1007\/978-1-4757-3472-0_3"},{"key":"4_CR16","unstructured":"Emmanuel, J.: Integer Linear Programming - Binary (0\u20131) Variables (2021). https:\/\/www.youtube.com\/watch?v=-3my1TkyFiM"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Guo, J., Czarnecki, K., Apel, S., Siegmund, N., Wasowski, A.: Variability-aware performance prediction: a statistical learning approach. In: ASE (2013)","DOI":"10.1109\/ASE.2013.6693089"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Guo, J., White, J., Wang, G., Li, J., Wang, Y.: A genetic algorithm for optimized feature selection with resource constraints in software product lines. J. Syst. Softw. 84, 2208 (2011)","DOI":"10.1016\/j.jss.2011.06.026"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Harman, M., Le Traon, Y.: Combining multi-objective search and constraint solving for configuring large software product lines. In: ICSE (2015)","DOI":"10.1109\/ICSE.2015.69"},{"key":"4_CR20","unstructured":"Heradio, R.: Derivation of Sample Set Size. Private Correspondence with Batory (2020)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Heradio, R., Fernandez-Amoros, D., Galindo, J., Benavides, D., Batory, D.: Uniform and Scalable Sampling of Highly Configurable Systems. In Submitted (2021)","DOI":"10.1145\/3382025.3414951"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(72)90046-X","volume":"3","author":"L Hodes","year":"1972","unstructured":"Hodes, L.: Solving problems by formula manipulation in logic and linear inequalities. Artif. Intell. 3, 165\u2013174 (1972)","journal-title":"Artif. Intell."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., et al.: Transfer learning for performance modeling of configurable systems: an exploratory analysis. In: ASE (2017)","DOI":"10.1109\/ASE.2017.8115661"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Kaltenecker, C., Grebhahn, A., Siegmund, N., Guo, J., Apel, S.: Distance-based sampling of software configuration spaces. In: ICSE (2019)","DOI":"10.1109\/ICSE.2019.00112"},{"key":"4_CR25","unstructured":"Knuth, D.E.: The Art of Computer Programming, Fascicle 1: Bitwise Tricks and Techniques; Binary Decision Diagrams, vol. 4. Addison-Wesley Professional, New York (2009)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Krieter, S., Th\u00fcm, T., Schulze, S., Schr\u00f6ter, R., Saake, G.: Propagating configuration decisions with modal implication graphs. In: ICSE (2018)","DOI":"10.1145\/3180155.3180159"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Marker, B., Batory, D., van de Geijn, R.: Understanding performance stairs: elucidating heuristics. In: ASE (2014)","DOI":"10.1145\/2642937.2642975"},{"key":"4_CR28","unstructured":"MathIsFun. Percentiles. https:\/\/www.mathsisfun.com\/data\/percentiles.html"},{"key":"4_CR29","unstructured":"MathIsFun. Standard Deviation Formulas (2019). https:\/\/www.mathsisfun.com\/data\/standard-deviation-formulas.html"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Oh, J., Batory, D., Myers, M., Siegmund, N.: Finding near-optimal configurations in product lines by random sampling. In: FSE (2017)","DOI":"10.1145\/3106237.3106273"},{"key":"4_CR31","unstructured":"Oh, J., Gazzillo, P., Batory, D., Heule, M., Myers, M.: Percentile Calculations for Randomly Searching Colossal Product Spaces. Technical Report TR-18-05, Dept. of Computer Science, University of Texas at Austin (2018)"},{"key":"4_CR32","unstructured":"Oh, J., Gazzillo, P., Batory, D., Heule, M., Myers, M.: Scalable Uniform Sampling for Real-World Software Product Lines. Technical Report TR-20-01, Dept. of Computer Science, University of Texas at Austin (2020)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Plazar, Q., Acher, N., Perrouins, G., Devroey, X., Cordy, M.: Uniform sampling of SAT solutions for configurable systems: are we there yet? In: Software Testing, Verification, and Validation (2019)","DOI":"10.1109\/ICST.2019.00032"},{"key":"4_CR34","unstructured":"Saibian, S.: Sbiis Saibian\u2019s Large Number Site. https:\/\/sites.google.com\/site\/largenumbers\/home"},{"key":"4_CR35","unstructured":"Saibian, S.: The Largest Numbers Theoretically Possible in Modern Cosmology. https:\/\/sites.google.com\/site\/largenumbers\/home\/2-1\/Largest_Numbers_in_Science"},{"key":"4_CR36","unstructured":"Saibian, S.: Larger Numbers in Probability, Statistics, and Combinatorics (2021). https:\/\/sites.google.com\/site\/largenumbers\/home\/2-1\/Large_Numbers_in_Probability"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Sarkar, A., Guo, J., Siegmund, N., Apel, S., Czarnecki, K.: Cost-efficient sampling for performance prediction of configurable systems. In: ASE (2015)","DOI":"10.1109\/ASE.2015.45"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Ingram, J., Menzies, T., Ammar, H.: Scalable product line configuration: a straw to break the camel\u2019s back. In: ASE (2013)","DOI":"10.1109\/ASE.2013.6693104"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Menzies, T., Ammar, H.: On the value of user preferences in search-based software engineering: a case study in software product lines. In: ICSE (2013)","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"4_CR40","unstructured":"Sharma, S., Gupta, R., Roy, S., Meel, K.: Knowledge compilation meets uniform sampling. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (2018)"},{"key":"4_CR41","unstructured":"Siegmund, N., et al.: Dataset for Siegmund (2012). http:\/\/fosd.de\/SPLConqueror"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Siegmund, N., et al.: Predicting performance via automated feature-interaction detection. In: ICSE (2012)","DOI":"10.1109\/ICSE.2012.6227196"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Siegmund, N., Grebhahn, A., Apel, S., K\u00e4stner, C.: Performance-influence models for highly configurable systems. In: FSE (2015)","DOI":"10.1145\/2786805.2786845"},{"key":"4_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-642-59495-3"},{"key":"4_CR45","unstructured":"Toybox Website (2018). http:\/\/landley.net\/toybox\/"},{"key":"4_CR46","unstructured":"Villanueva, J.: How Many Atoms Are There in the Universe? https:\/\/www.universetoday.com\/36302\/atoms-in-the-universe\/"},{"key":"4_CR47","unstructured":"Wikipedia. Beta Distribution. https:\/\/en.wikipedia.org\/wiki\/Beta_distribution"},{"key":"4_CR48","unstructured":"Wikipedia. Cowboy Coders. https:\/\/en.wikipedia.org\/wiki\/Cowboy_coding"},{"key":"4_CR49","unstructured":"Wikipedia. Lego. https:\/\/en.wikipedia.org\/wiki\/Lego"},{"key":"4_CR50","unstructured":"Random Search. https:\/\/en.wikipedia.org\/wiki\/Random_search"},{"key":"4_CR51","unstructured":"Wikipedia. 68\u201395-99.7 Rule (2019). https:\/\/en.wikipedia.org\/wiki\/68%E2%80%9395%E2%80%9399.7_rule"},{"key":"4_CR52","unstructured":"Wikipedia. Integer Programming (2021). https:\/\/en.wikipedia.org\/wiki\/Integer_programming"},{"key":"4_CR53","doi-asserted-by":"crossref","unstructured":"Wirth, N.: Program Development by Stepwise Refinement. CACM (1971)","DOI":"10.1145\/362575.362577"},{"key":"4_CR54","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Guo, J., Blais, E., Czarnecki, K.: Performance prediction of configurable software systems by fourier learning. In: ASE (2015)","DOI":"10.1109\/ASE.2015.15"}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:21:29Z","timestamp":1709821289000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}