乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:24:14Z","timestamp":1730323454499,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,9]]},"DOI":"10.1145\/3442391.3442404","type":"proceedings-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T10:53:50Z","timestamp":1612868030000},"page":"1-10","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Applications of #SAT Solvers on Feature Models"],"prefix":"10.1145","author":[{"given":"Chico","family":"Sundermann","sequence":"first","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Michael","family":"Nieke","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Germany"}]},{"given":"Paul M.","family":"Bittner","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Tobias","family":"He\u00df","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,2,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100089"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66263-3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2771562"},{"key":"e_1_3_2_1_5_1","unstructured":"Sofia Ananieva. 2016. Explaining Defects and Identifying Dependencies in Interrelated Feature Models. Sofia Ananieva. 2016. Explaining Defects and Identifying Dependencies in Interrelated Feature Models."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9127-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.534"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISESE.2004.1334903"},{"volume-title":"Sparse XOR Constraints and Minimum Distance. In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy","author":"Boreale Michele","key":"e_1_3_2_1_12_1","unstructured":"Michele Boreale and Daniele Gorla . 2019. Approximate Model Counting , Sparse XOR Constraints and Minimum Distance. In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy . Springer , Berlin, Heidelberg , 363\u2013378. Michele Boreale and Daniele Gorla. 2019. Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Springer, Berlin, Heidelberg, 363\u2013378."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. Int\u2019l Workshop on Software Product-Family Engineering (PFE). Springer","author":"Bosch Jan","year":"2001","unstructured":"Jan Bosch , Gert Florijn , Danny Greefhorst , Juha Kuusela , J\u00a0Henk Obbink , and Klaus Pohl . 2001 . Variability Issues in Software Product Lines . In Proc. Int\u2019l Workshop on Software Product-Family Engineering (PFE). Springer , Berlin, Heidelberg, 13\u201321. Jan Bosch, Gert Florijn, Danny Greefhorst, Juha Kuusela, J\u00a0Henk Obbink, and Klaus Pohl. 2001. Variability Issues in Software Product Lines. In Proc. Int\u2019l Workshop on Software Product-Family Engineering (PFE). Springer, Berlin, Heidelberg, 13\u201321."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24318-4_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.47"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. Int\u2019l Workshop on Software Factories (SF). ACM","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki and Chang Hwan\u00a0Peter Kim . 2005 . Cardinality-Based Feature Modeling and Constraints: A Progress Report . In Proc. Int\u2019l Workshop on Software Factories (SF). ACM , San Diego, California, USA, 16\u201320. Krzysztof Czarnecki and Chang Hwan\u00a0Peter Kim. 2005. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In Proc. Int\u2019l Workshop on Software Factories (SF). ACM, San Diego, California, USA, 16\u201320."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. European Conf. on Artificial Intelligence. IOS press","author":"Darwiche Adnan","year":"2004","unstructured":"Adnan Darwiche . 2004 . New Advances in Compiling Cnf to Decomposable Negation Normal Form . In Proc. European Conf. on Artificial Intelligence. IOS press , Amsterdam, Netherlands, 318\u2013322. Adnan Darwiche. 2004. New Advances in Compiling Cnf to Decomposable Negation Normal Form. In Proc. European Conf. on Artificial Intelligence. IOS press, Amsterdam, Netherlands, 318\u2013322."},{"volume-title":"Controlling Software Projects: Management, Measurement, and Estimates","author":"DeMarco Tom","key":"e_1_3_2_1_22_1","unstructured":"Tom DeMarco . 1986. Controlling Software Projects: Management, Measurement, and Estimates . Prentice Hall PTR , USA. Tom DeMarco. 1986. Controlling Software Projects: Management, Measurement, and Estimates. Prentice Hall PTR, USA."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Springer","author":"Fern\u00e1ndez-Amor\u00f3s David","year":"2009","unstructured":"David Fern\u00e1ndez-Amor\u00f3s , Ruben\u00a0Heradio Gil , and Jos\u00e9\u00a0Cerrada Somolinos . 2009 . Inferring Information From Feature Diagrams to Product Line Economic Models . In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Springer , Berlin, Heidelberg, 41\u201350. David Fern\u00e1ndez-Amor\u00f3s, Ruben\u00a0Heradio Gil, and Jos\u00e9\u00a0Cerrada Somolinos. 2009. Inferring Information From Feature Diagrams to Product Line Economic Models. In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Springer, Berlin, Heidelberg, 41\u201350."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331073"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934478"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/602461.602482"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press, 54\u201361","author":"Gomes P.","year":"2006","unstructured":"Carla\u00a0 P. Gomes , Ashish Sabharwal , and Bart Selman . 2006 . Model Counting: A New Strategy for Obtaining Good Bounds . In Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press, 54\u201361 . Carla\u00a0P. Gomes, Ashish Sabharwal, and Bart Selman. 2006. Model Counting: A New Strategy for Obtaining Good Bounds. In Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press, 54\u201361."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013500368"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414951"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00091"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. Int\u2019l Conf. on Intelligent Software Methodologies, Tools and Techniques (SOMET). IOS Press, 139\u2013154","author":"Heradio Ruben","year":"2016","unstructured":"Ruben Heradio , Hector Perez-Morago , David Fern\u00e1ndez-Amor\u00f3s , Roberto Bean , Francisco\u00a0Javier Cabrerizo , Carlos Cerrada , and Enrique Herrera-Viedma . 2016 . Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models . In Proc. Int\u2019l Conf. on Intelligent Software Methodologies, Tools and Techniques (SOMET). IOS Press, 139\u2013154 . Ruben Heradio, Hector Perez-Morago, David Fern\u00e1ndez-Amor\u00f3s, Roberto Bean, Francisco\u00a0Javier Cabrerizo, Carlos Cerrada, and Enrique Herrera-Viedma. 2016. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. In Proc. Int\u2019l Conf. on Intelligent Software Methodologies, Tools and Techniques (SOMET). IOS Press, 139\u2013154."},{"key":"e_1_3_2_1_32_1","volume-title":"Supporting Commonality-Based Analysis of Software Product Lines. IET software 5, 6","author":"Heradio-Gil Rub\u00e9n","year":"2011","unstructured":"Rub\u00e9n Heradio-Gil , David Fern\u00e1ndez-Amor\u00f3s , Jos\u00e9\u00a0Antonio Cerrada , and Carlos Cerrada . 2011. Supporting Commonality-Based Analysis of Software Product Lines. IET software 5, 6 ( 2011 ), 496\u2013509. Rub\u00e9n Heradio-Gil, David Fern\u00e1ndez-Amor\u00f3s, Jos\u00e9\u00a0Antonio Cerrada, and Carlos Cerrada. 2011. Supporting Commonality-Based Analysis of Software Product Lines. IET software 5, 6 (2011), 496\u2013509."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.042"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(92)90052-E"},{"volume-title":"Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press \/ The MIT Press, 157\u2013162","author":"Bayardo Roberto","key":"e_1_3_2_1_35_1","unstructured":"Roberto J.\u00a0 Bayardo Jr . and Joseph\u00a0Daniel Pehoushek. 2000. Counting Models Using Connected Components . In Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press \/ The MIT Press, 157\u2013162 . Roberto J.\u00a0Bayardo Jr. and Joseph\u00a0Daniel Pehoushek. 2000. Counting Models Using Connected Components. In Proc. Conf. on Artificial Intelligence (AAAI). AAAI Press \/ The MIT Press, 157\u2013162."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.29.5"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/93"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_10"},{"volume-title":"Recommendation Systems in Software Engineering","author":"Mazo Ra\u00fal","key":"e_1_3_2_1_41_1","unstructured":"Ra\u00fal Mazo , Cosmin Dumitrescu , Camille Salinesi , and Daniel Diaz . 2014. Recommendation Heuristics for Improving Product Line Configuration Processes . In Recommendation Systems in Software Engineering . Springer , Berlin, Heidelberg , 511\u2013537. Ra\u00fal Mazo, Cosmin Dumitrescu, Camille Salinesi, and Daniel Diaz. 2014. Recommendation Heuristics for Improving Product Line Configuration Processes. In Recommendation Systems in Software Engineering. Springer, Berlin, Heidelberg, 511\u2013537."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Software Engineering Institute","author":"Mendon\u00e7a Marc\u00edlio","year":"2009","unstructured":"Marc\u00edlio Mendon\u00e7a , Andrzej W\u0105sowski , and Krzysztof Czarnecki . 2009 . SAT-Based Analysis of Feature Models is Easy . In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Software Engineering Institute , Pittsburgh, PA, USA, 231\u2013240. Marc\u00edlio Mendon\u00e7a, Andrzej W\u0105sowski, and Krzysztof Czarnecki. 2009. SAT-Based Analysis of Feature Models is Easy. In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). Software Engineering Institute, Pittsburgh, PA, USA, 231\u2013240."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336297"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2008.41"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_49_1","volume-title":"Proc. Int\u2019l Workshop on Agent-Oriented Software Engineering (AOSE). Springer","author":"Pe\u00f1a Joaquin","year":"2006","unstructured":"Joaquin Pe\u00f1a , Michael\u00a0 G Hinchey , and Antonio Ruiz-Cort\u00e9s . 2006 . Building the Core Architecture of a Multiagent System Product Line: With an example from a future NASA Mission . In Proc. Int\u2019l Workshop on Agent-Oriented Software Engineering (AOSE). Springer , Berlin, Heidelberg. Joaquin Pe\u00f1a, Michael\u00a0G Hinchey, and Antonio Ruiz-Cort\u00e9s. 2006. Building the Core Architecture of a Multiagent System Product Line: With an example from a future NASA Mission. In Proc. Int\u2019l Workshop on Agent-Oriented Software Engineering (AOSE). Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100068"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884823"},{"key":"e_1_3_2_1_54_1","volume-title":"Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC), Vol.\u00a02. 201\u2013207","author":"Segura Sergio","year":"2008","unstructured":"Sergio Segura . 2008 . Automated Analysis of Feature Models Using Atomic Sets . In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC), Vol.\u00a02. 201\u2013207 . Sergio Segura. 2008. Automated Analysis of Feature Models Using Atomic Sets. In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC), Vol.\u00a02. 201\u2013207."},{"key":"e_1_3_2_1_55_1","volume-title":"Proc. Int\u2019l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620\u2013636","author":"Sharma Shubham","year":"2018","unstructured":"Shubham Sharma , Rahul Gupta , Subhajit Roy , and Kuldeep\u00a0 S Meel . 2018 . Knowledge Compilation Meets Uniform Sampling . In Proc. Int\u2019l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620\u2013636 . Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep\u00a0S Meel. 2018. Knowledge Compilation Meets Uniform Sampling. In Proc. Int\u2019l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620\u2013636."},{"key":"e_1_3_2_1_56_1","first-page":"4","article-title":"Quantifying Structural Attributes of System Decompositions in 28 Feature-Oriented Software Product Lines","volume":"21","author":"Sobernig Stefan","year":"2016","unstructured":"Stefan Sobernig , Sven Apel , Sergiy Kolesnikov , and Norbert Siegmund . 2016 . Quantifying Structural Attributes of System Decompositions in 28 Feature-Oriented Software Product Lines . Empirical Software Engineering (EMSE) 21 , 4 (Aug. 2016), 1670\u20131705. https:\/\/doi.org\/10.1007\/s10664-014-9336-6 10.1007\/s10664-014-9336-6 Stefan Sobernig, Sven Apel, Sergiy Kolesnikov, and Norbert Siegmund. 2016. Quantifying Structural Attributes of System Decompositions in 28 Feature-Oriented Software Product Lines. Empirical Software Engineering (EMSE) 21, 4 (Aug. 2016), 1670\u20131705. https:\/\/doi.org\/10.1007\/s10664-014-9336-6","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377036"},{"key":"#cr-split#-e_1_3_2_1_58_1.1","unstructured":"Chico Sundermann. 2020. Applications of #SAT Solvers on Product Lines. Master's thesis. TU Braunschweig Germany. https:\/\/doi.org\/10.24355\/dbbs.084-202009161329-0 10.24355\/dbbs.084-202009161329-0"},{"key":"#cr-split#-e_1_3_2_1_58_1.2","unstructured":"Chico Sundermann. 2020. Applications of #SAT Solvers on Product Lines. Master's thesis. TU Braunschweig Germany. https:\/\/doi.org\/10.24355\/dbbs.084-202009161329-0"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377025"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975585"},{"key":"e_1_3_2_1_64_1","volume-title":"Proc. Int\u2019l Conf. on Advanced Information Systems Engineering (CAiSE). Springer","author":"Trinidad Pablo","year":"2006","unstructured":"Pablo Trinidad , David Benavides , and Antonio\u00a0Ruiz Cort\u00e9s . 2006 . Isolated Features Detection in Feature Models . In Proc. Int\u2019l Conf. on Advanced Information Systems Engineering (CAiSE). Springer , Berlin, Heidelberg. Pablo Trinidad, David Benavides, and Antonio\u00a0Ruiz Cort\u00e9s. 2006. Isolated Features Detection in Feature Models. In Proc. Int\u2019l Conf. on Advanced Information Systems Engineering (CAiSE). Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233035"}],"event":{"name":"VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS'21","location":"Krems Austria"},"container-title":["Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3442391.3442404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T13:08:06Z","timestamp":1674047286000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442391.3442404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,9]]},"references-count":61,"alternative-id":["10.1145\/3442391.3442404","10.1145\/3442391"],"URL":"https:\/\/doi.org\/10.1145\/3442391.3442404","relation":{},"subject":[],"published":{"date-parts":[[2021,2,9]]},"assertion":[{"value":"2021-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}