references.bib

@article{agrawal2014exploration,
	title={Exploration of data science techniques to predict fatigue strength of steel from composition and processing parameters},
	author={Agrawal, Ankit and Deshpande, Parijat D. and Cecen, Ahmet and Basavarsu, Gautham P. and Choudhary, Alok N. and Kalidindi, Surya R.},
	journal={Integr. Mater. Manuf. Innovation},
	volume={3},
	number={1},
	pages={90--108},
	year={2014},
	doi={10.1186/2193-9772-3-8}
}

@article{agrawal2021metaheuristic,
	title={Metaheuristic Algorithms on Feature Selection: A Survey of One Decade of Research (2009-2019)},
	author={Agrawal, Prachi and Abutarboush, Hattan F. and Ganesh, Talari and Mohamed, Ali Wagdy},
	journal={IEEE Access},
	volume={9},
	pages={26766--26791},
	year={2021},
	doi={10.1109/ACCESS.2021.3056407}
}

@inproceedings{alfonso2014new,
	title={New {CNF} Features and Formula Classification},
	author={Alfonso, Enrique Matos and Manthey, Norbert},
	booktitle={Proc. POS},
	location={Vienna, Austria},
	pages={57--71},
	year={2014},
	doi={10.29007/b8t1}
}

@article{alon1998approximation,
	title={Approximation schemes for scheduling on parallel machines},
	author={Alon, Noga and Azar, Yossi and Woeginger, Gerhard J. and Yadid, Tal},
	journal={J. Sched.},
	volume={1},
	number={1},
	pages={55--66},
	year={1998},
	doi={10.1002/(SICI)1099-1425(199806)1:1<55::AID-JOS2>3.0.CO;2-J}
}

@inproceedings{artelt2022even,
	title={``Even if ...'' -- Diverse Semifactual Explanations of Reject},
	author={Artelt, Andr{\'e} and Hammer, Barbara},
	booktitle={Proc. SSCI},
	location={Singapore, Singapore},
	pages={854--859},
	year={2022},
	doi={10.1109/SSCI51031.2022.10022139}
}

@inproceedings{arzamasov2021reds,
	title={{REDS}: Rule Extraction for Discovering Scenarios},
	author={Arzamasov, Vadim and B{\"o}hm, Klemens},
	booktitle={Proc. SIGMOD},
	location={Virtual Event, China},
	pages={115--128},
	year={2021},
	doi={10.1145/3448016.3457301}
}

@misc{arzamasov2022pedagogical,
	title={Pedagogical Rule Extraction to Learn Interpretable Models --- an Empirical Study},
	author={Arzamasov, Vadim and Jochum, Benjamin and B{\"o}hm, Klemens},
	howpublished={arXiv:2112.13285v2 [cs.LG]},
	year={2022},
	doi={10.48550/arXiv.2112.13285}
}

@inproceedings{atzmueller2005exploiting,
	title={Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery},
	author={Atzmueller, Martin and Puppe, Frank and Buscher, Hans-Peter},
	booktitle={Proc. IJCAI},
	location={Edinburgh, United Kingdom},
	pages={647--652},
	year={2005},
	url={https://www.ijcai.org/Proceedings/05/Papers/1217.pdf}
}

@inproceedings{atzmueller2006methodological,
	title={A Methodological View on Knowledge-Intensive Subgroup Discovery},
	author={Atzmueller, Martin and Puppe, Frank},
	booktitle={Proc. EKAW},
	location={Pod{\v{e}}brady, Czech Republic},
	pages={318--325},
	year={2006},
	doi={10.1007/11891451_28}
}

@inproceedings{atzmueller2006sd,
	title={SD-Map -- A Fast Algorithm for Exhaustive Subgroup Discovery},
	author={Atzmueller, Martin and Puppe, Frank},
	booktitle={Proc. PKDD},
	location={Berlin, Germany},
	pages={6--17},
	year={2006},
	doi={10.1007/11871637_6}
}

@inproceedings{atzmueller2007using,
	title={Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining},
	author={Atzmueller, Martin and Seipel, Dietmar},
	booktitle={Proc. INAP},
	location={W{\"u}rzburg, Germany},
	pages={149--164},
	year={2007},
	doi={10.1007/978-3-642-00675-3_10}
}

@inproceedings{atzmueller2009fast,
	title={Fast Subgroup Discovery for Continuous Target Concepts},
	author={Atzmueller, Martin and Lemmerich, Florian},
	booktitle={Proc. ISMIS},
	location={Prague, Czech Republic},
	pages={35--44},
	year={2009},
	doi={10.1007/978-3-642-04125-9_7}
}

@article{atzmueller2015subgroup,
	title={Subgroup discovery},
	author={Atzmueller, Martin},
	journal={WIREs Data Min. Knowl. Disc.},
	volume={5},
	number={1},
	pages={35--49},
	year={2015},
	doi={10.1002/widm.1144}
}

@article{babel1998thek,
	title={The k-Partitioning Problem},
	author={Babel, Luitpold and Kellerer, Hans and Kotov, Vladimir},
	journal={Math. Methods Oper. Res.},
	volume={47},
	number={1},
	pages={59--82},
	year={1998},
	doi={10.1007/BF01193837}
}

@incollection{bacchus2021maximum,
	title={Maximum Satisfiability},
	author={Bacchus, Fahiem and J{\"a}rvisalo, Matti and Martins, Ruben},
	booktitle={Handbook of Satisfiability},
	edition={2},
	chapter={24},
	pages={929--991},
	year={2021},
	publisher={IOS Press},
	doi={10.3233/FAIA201008}
}

@misc{bach2023finding,
	title={Finding Optimal Diverse Feature Sets with Alternative Feature Selection},
	author={Bach, Jakob},
	howpublished={arXiv:2307.11607v2 [cs.LG]},
	year={2024},
	doi={10.48550/arXiv.2307.11607}
}

@misc{bach2022leveraging,
	title={Leveraging Constraints for User-Centric Selection of Predictive Features},
	author={Bach, Jakob},
	howpublished={AI Hub @ Karlsruhe},
	year={2022},
	doi={10.5445/IR/1000151285}
}

@misc{bach2024using,
	title={Using Constraints to Discover Sparse and Alternative Subgroup Descriptions},
	author={Bach, Jakob},
	howpublished={arXiv:2406.01411v1 [cs.LG]},
	year={2024},
	doi={10.48550/arXiv.2406.01411},
}

@article{bach2024alternative,
	title={Alternative feature selection with user control},
	author={Bach, Jakob and B{\"o}hm, Klemens},
	journal={Int. J. Data Sci. Anal.},
	year={2024},
	doi={10.1007/s41060-024-00527-8}
}

@inproceedings{bach2022comprehensive,
	title={A Comprehensive Study of k-Portfolios of Recent {SAT} Solvers},
	author={Bach, Jakob and Iser, Markus and B{\"o}hm, Klemens},
	booktitle={Proc. SAT},
	location={Haifa, Israel},
	year={2022},
	doi={10.4230/LIPIcs.SAT.2022.2}
}

@article{bach2022empirical,
	title={An Empirical Evaluation of Constrained Feature Selection},
	author={Bach, Jakob and Zoller, Kolja and Trittenbach, Holger and Schulz, Katrin and B{\"o}hm, Klemens},
	journal={SN Comput. Sci.},
	volume={3},
	number={6},
	year={2022},
	doi={10.1007/s42979-022-01338-z}
}

@inproceedings{bae2006coala,
	title={{COALA}: A Novel Approach for the Extraction of an Alternate Clustering of High Quality and High Dissimilarity},
	author={Bae, Eric and Bailey, James},
	booktitle={Proc. ICDM},
	location={Hong Kong, China},
	pages={53--62},
	year={2006},
	doi={10.1109/ICDM.2006.37}
}

@article{bae2010clustering,
	title={A clustering comparison measure using density profiles and its application to the discovery of alternate clusterings},
	author={Bae, Eric and Bailey, James and Dong, Guozhu},
	journal={Data Min. Knowl. Disc.},
	volume={21},
	number={3},
	pages={427--471},
	year={2010},
	doi={10.1007/s10618-009-0164-z}
}

@incollection{bailey2014alternative,
	title={Alternative Clustering Analysis: A Review},
	author={Bailey, James},
	booktitle={Data Clustering: Algorithms and Applications},
	edition={1},
	chapter={21},
	pages={535--550},
	year={2014},
	publisher={{CRC} Press},
	doi={10.1201/9781315373515}
}

@incollection{barrett2018satisfiability,
	title={Satisfiability Modulo Theories},
	author={Barrett, Clark and Tinelli, Cesare},
	booktitle={Handbook of Model Checking},
	edition={1},
	chapter={11},
	pages={305--343},
	year={2018},
	publisher={Springer},
	doi={10.1007/978-3-319-10575-8_11}
}

@inproceedings{belfodil2019fssd,
	title={{FSSD} - A Fast and Efficient Algorithm for Subgroup Set Discovery},
	author={Belfodil, Adnene and Belfodil, Aimene and Bendimerad, Anes and Lamarre, Philippe and Robardet, C{\'e}line and Kaytoue, Mehdi and Plantevit, Marc},
	booktitle={Proc. DSAA},
	location={Washington, DC, USA},
	pages={91--99},
	year={2019},
	doi={10.1109/DSAA.2019.00023},
}

@article{benavides2010automated,
	title={Automated analysis of feature models 20 years later: A literature review},
	author={Benavides, David and Segura, Sergio and Ruiz-Cort{\'e}s, Antonio},
	journal={Inf. Syst.},
	volume={35},
	number={6},
	pages={615--636},
	year={2010},
	doi={10.1016/j.is.2010.01.001}
}

@techreport{bestuzheva2021scip,
	title={{The SCIP Optimization Suite 8.0}},
	author={Ksenia Bestuzheva and Mathieu Besan{\c{c}}on and Wei-Kun Chen and Antonia Chmiela and Tim Donkiewicz and Jasper van Doornmalen and Leon Eifler and Oliver Gaul and Gerald Gamrath and Ambros Gleixner and Leona Gottwald and Christoph Graczyk and Katrin Halbig and Alexander Hoen and Christopher Hojny and Rolf van der Hulst and Thorsten Koch and Marco L{\"u}bbecke and Stephen J. Maher and Frederic Matter and Erik M{\"u}hmer and Benjamin M{\"u}ller and Marc E. Pfetsch and Daniel Rehfeldt and Steffan Schlein and Franziska Schl{\"o}sser and Felipe Serrano and Yuji Shinano and Boro Sofranac and Mark Turner and Stefan Vigerske and Fabian Wegscheider and Philipp Wellner and Dieter Weninger and Jakob Witzig},
	institution={Zuse Institute Berlin},
	year={2021},
	url={http://nbn-resolving.de/urn:nbn:de:0297-zib-85309}
}

@inproceedings{bielski2024knowledge,
	title={Knowledge-Guided Learning of Temporal Dynamics and its Application to Gas Turbines},
	author={Bielski, Pawel and Eismont, Aleksandr and Bach, Jakob and Leiser, Florian and Kottonau, Dustin and B{\"o}hm, Klemens},
	booktitle={Proc. e-Energy},
	location={Singapore, Singapore},
	pages={279--290},
	year={2024},
	doi={10.1145/3632775.3661967}
}

@inproceedings{bjorner2015nuz,
	title={{$\nu$Z} - An Optimizing {SMT} Solver},
	author={Bj{\o}rner, Nikolaj and Phan, Anh-Dung and Fleckenstein, Lars},
	booktitle={Proc. TACAS},
	location={London, United Kingdom},
	pages={194--199},
	year={2015},
	doi={10.1007/978-3-662-46681-0_14}
}

@inproceedings{boley2009non,
	title={Non-redundant Subgroup Discovery Using a Closure System},
	author={Boley, Mario and Grosskreutz, Henrik},
	booktitle={Proc. ECML PKDD},
	location={Bled, Slovenia},
	pages={179--194},
	year={2009},
	doi={10.1007/978-3-642-04180-8_29}
}

@article{bonates2008maximum,
	title={Maximum patterns in datasets},
	author={Bonates, Tib{\'e}rius O. and Hammer, Peter L. and Kogan, Alexander},
	journal={Discrete Appl. Math.},
	volume={156},
	number={6},
	pages={846--861},
	year={2008},
	doi={10.1016/j.dam.2007.06.004}
}

@article{bosc2018anytime,
	title={Anytime discovery of a diverse set of patterns with Monte Carlo tree search},
	author={Bosc, Guillaume and Boulicaut, Jean-Fran{\c{c}}ois and Ra{\"\i}ssi, Chedy and Kaytoue, Mehdi},
	journal={Data Min. Knowl. Disc.},
	volume={32},
	number={3},
	pages={604--650},
	year={2018},
	doi={10.1007/s10618-017-0547-5}
}

@article{borboudakis2021extending,
	title={Extending greedy feature selection algorithms to multiple solutions},
	author={Borboudakis, Giorgos and Tsamardinos, Ioannis},
	journal={Data Min. Knowl. Disc.},
	volume={35},
	number={4},
	pages={1393--1434},
	year={2021},
	doi={10.1007/s10618-020-00731-7}
}

@article{breiman2001random,
	title={Random Forests},
	author={Breiman, Leo},
	journal={Mach. Learn.},
	volume={45},
	number={1},
	pages={5--32},
	year={2001},
	doi={10.1023/A:1010933404324}
}

@book{breiman1984classification,
	title={Classification and Regression Trees},
	author={Breiman, Leo and Friedman, Jerome H. and Olshen, Richard A. and Stone, Charles J.},
	edition={1},
	year={1984},
	publisher={Chapman and Hall},
	doi={10.1201/9781315139470}
}

@article{carmona2018unifying,
	title={A unifying analysis for the supervised descriptive rule discovery via the weighted relative accuracy},
	author={Carmona, Crist{\'o}bal J. and del Jesus, Mar{\'\i}a J. and Herrera, Francisco},
	journal={Knowledge-Based Syst.},
	volume={139},
	pages={89--100},
	year={2018},
	doi={10.1016/j.knosys.2017.10.015}
}

@article{carvalho2019machine,
	title={Machine Learning Interpretability: A Survey on Methods and Metrics},
	author={Carvalho, Diogo V. and Pereira, Eduardo M. and Cardoso, Jaime S.},
	journal={Electronics},
	volume={8},
	number={8},
	year={2019},
	doi={10.3390/electronics8080832}
}

@article{chandrashekar2014survey,
	title={A survey on feature selection methods},
	author={Chandrashekar, Girish and Sahin, Ferat},
	journal={Comput. Electr. Eng.},
	volume={40},
	number={1},
	pages={16--28},
	year={2014},
	doi={10.1016/j.compeleceng.2013.11.024}
}

@inproceedings{chekuri2004maximum,
	title={Maximum Coverage Problem with Group Budget Constraints and Applications},
	author={Chekuri, Chandra and Kumar, Amit},
	booktitle={Proc. APPROX},
	location={Cambridge, MA, USA},
	pages={72--83},
	year={2004},
	doi={10.1007/978-3-540-27821-4_7}
}

@inproceedings{chen2016efficient,
	title={An Efficient {PTAS} for Parallel Machine Scheduling with Capacity Constraints},
	author={Chen, Lin and Jansen, Klaus and Luo, Wenchang and Zhang, Guochuan},
	booktitle={Proc. COCOA},
	location={Hong Kong, China},
	pages={608--623},
	year={2016},
	doi={10.1007/978-3-319-48749-6_44}
}

@article{chen20023partitioning,
	title={3-Partitioning Problems for Maximizing the Minimum Load},
	author={Chen, Shi Ping and He, Yong and Lin, Guohui},
	journal={J. Comb. Optim.},
	volume={6},
	number={1},
	pages={67--80},
	year={2002},
	doi={10.1023/A:1013370208101}
}

@inproceedings{chen2016xgboost,
	title={{XGBoost}: A Scalable Tree Boosting System},
	author={Chen, Tianqi and Guestrin, Carlos},
	booktitle={Proc. KDD},
	location={San Francisco, CA, USA},
	pages={785--794},
	year={2016},
	doi={10.1145/2939672.2939785}
}

@article{childs2019embedding,
	title={Embedding domain knowledge for machine learning of complex material systems},
	author={Childs, Christopher M. and Washburn, Newell R.},
	journal={MRS Commun.},
	volume={9},
	number={3},
	pages={806--820},
	year={2019},
	doi={10.1557/mrc.2019.90}
}

@article{choi2010survey,
	title={A Survey of Binary Similarity and Distance Measures},
	author={Choi, Seung-Seok and Cha, Sung-Hyuk and Tappert, Charles C.},
	journal={J. Syst. Cybern. Inf.},
	volume={8},
	number={1},
	pages={43--48},
	year={2010},
	url={http://www.iiisci.org/Journal/pdv/sci/pdfs/GS315JG.pdf}
}

@inproceedings{cook1971complexity,
	title={The Complexity of Theorem-Proving Procedures},
	author={Cook, Stephen A.},
	booktitle={Proc. STOC},
	location={Shaker Heights, OH, USA},
	pages={151--158},
	year={1971},
	doi={10.1145/800157.805047}
}

@inproceedings{covert2020understanding,
	title={Understanding Global Feature Contributions With Additive Importance Measures},
	author={Covert, Ian and Lundberg, Scott M. and Lee, Su-In},
	booktitle={Proc. NeurIPS},
	location={Virtual-only Conference},
	pages={17212--17223},
	year={2020},
	url={https://proceedings.neurips.cc/paper_files/paper/2020/hash/c7bf0b7c1a86d5eb3be2c722cf2cf746-Abstract.html}
}

@inproceedings{aloisio2023democratizing,
	title={Democratizing Qua\-lity-Based Machine Learning Development through Extended Feature Models},
	author={d'Aloisio, Giordano and Di Marco, Antinisca and Stilo, Giovanni},
	booktitle={Proc. FASE},
	location={Paris, France},
	pages={88--110},
	year={2023},
	doi={10.1007/978-3-031-30826-0_5}
}

@inproceedings{dandl2020multi,
	title={Multi-Objective Counterfactual Explanations},
	author={Dandl, Susanne and Molnar, Christoph and Binder, Martin and Bischl, Bernd},
	booktitle={Proc. PPSN},
	location={Leiden, The Netherlands},
	pages={448--469},
	year={2020},
	doi={10.1007/978-3-030-58112-1_31}
}

@inproceedings{dao2013declarative,
	title={A Declarative Framework for Constrained Clustering},
	author={Dao, Thi-Bich-Hanh and Duong, Khanh-Chuong and Vrain, Christel},
	booktitle={Proc. ECML PKDD},
	location={Prague, Czech Republic},
	pages={419--434},
	year={2013},
	doi={10.1007/978-3-642-40994-3_27}
}

@article{dao2024review,
	title={A review on declarative approaches for constrained clustering},
	author={Dao, Thi-Bich-Hanh and Vrain, Christel},
	journal={Int. J. Approximate Reasoning},
	volume={171},
	year={2024},
	doi={10.1016/j.ijar.2024.109135}
}

@inproceedings{deMoura2008z3,
	title={{Z3}: An Efficient {SMT} Solver},
	author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
	booktitle={Proc. TACAS},
	location={Budapest, Hungary},
	pages={337--340},
	year={2008},
	doi={10.1007/978-3-540-78800-3_24}
}

@article{deuermeyer1982scheduling,
	title={Scheduling to Maximize the Minimum Processor Finish Time in a Multiprocessor System},
	author={Deuermeyer, Bryan L. and Friesen, Donald K. and Langston, Michael A.},
	journal={SIAM J. Algebraic Discrete Methods},
	volume={3},
	number={2},
	pages={190--196},
	year={1982},
	doi={10.1137/0603019}
}

@inproceedings{deutch2019constraints,
	title={Constraints-based Explanations of Classifications},
	author={Deutch, Daniel and Frost, Nave},
	booktitle={Proc. ICDE},
	location={Macao, China},
	pages={530--541},
	year={2019},
	doi={10.1109/ICDE.2019.00054}
}

@article{dhal2021comprehensive,
	title={A comprehensive survey on feature selection in the various fields of machine learning},
	author={Dhal, Pradip and Azad, Chandrashekhar},
	journal={Appl. Intell.},
	volume={52},
	number={4},
	pages={4543--4581},
	year={2021},
	doi={10.1007/s10489-021-02550-9}
}

@inproceedings{downey1997parameterized,
	title={Parameterized Complexity: A Framework for Systematically Confronting Computational Intractability},
	author={Downey, Rodney G. and Fellows, Michael R. and Stege, Ulrike},
	booktitle={Proc. DIMATIA-DIMACS},
	location={{\v{S}}ti{\v{r}}{\'i}n Castle, Czech Republic},
	pages={49--99},
	year={1997},
	doi={10.1090/dimacs/049/04}
}

@article{eckstein2002maximum,
	title={The Maximum Box Problem and its Application to Data Analysis},
	author={Eckstein, Jonathan and Hammer, Peter L. and Liu, Ying and Nediak, Mikhail and Simeone, Bruno},
	journal={Comput. Optim. Appl.},
	volume={23},
	number={3},
	pages={285--298},
	year={2002},
	doi={10.1023/A:1020546910706}
}

@article{egghe2009new,
	title={New Relations Between Similarity Measures for Vectors Based on Vector Norms},
	author={Egghe, Leo},
	journal={J. Am. Soc. Inf. Sci. Technol.},
	volume={60},
	number={2},
	pages={232--239},
	year={2009},
	doi={10.1002/asi.20949}
}

@inproceedings{emmanouilidis1999selecting,
	title={Selecting Features in Neurofuzzy Modelling by Multiobjective Genetic Algorithms},
	author={Emmanouilidis, Christos and Hunter, Andrew and MacIntyre, John and Cox, Chris},
	booktitle={Proc. ICANN},
	location={Edinburgh, United Kingdom},
	pages={749--754},
	year={1999},
	doi={10.1049/cp:19991201}
}

@inproceedings{ermon2012uniform,
	title={Uniform Solution Sampling Using a Constraint Solver As an Oracle},
	author={Ermon, Stefano and Gomes, Carla and Selman, Bart},
	booktitle={Proc. UAI},
	location={Catalina Island, CA, USA},
	pages={255--264},
	year={2012},
	url={https://www.auai.org/uai2012/papers/160.pdf}
}

@article{fisher2019all,
	title={All Models are Wrong, but Many are Useful: Learning a Variable's Importance by Studying an Entire Class of Prediction Models Simultaneously},
	author={Fisher, Aaron and Rudin, Cynthia and Dominici, Francesca},
	journal={J. Mach. Learn. Res.},
	volume={20},
	number={177},
	year={2019},
	url={https://jmlr.org/papers/v20/18-760.html}
}

@article{fouche2021efficient,
	title={Efficient subspace search in data streams},
	author={Fouch{\'e}, Edouard and Kalinke, Florian and B{\"o}hm, Klemens},
	journal={Inf. Syst.},
	volume={97},
	year={2021},
	doi={10.1016/j.is.2020.101705}
}

@article{friedman1999bump,
	title={Bump hunting in high-dimensional data},
	author={Friedman, Jerome H. and Fisher, Nicholas I.},
	journal={Stat. Comput.},
	volume={9},
	number={2},
	pages={123--143},
	year={1999},
	doi={10.1023/A:1008894516817}
}

@misc{friedman2010note,
	title={A note on the group lasso and a sparse group lasso},
	author={Friedman, Jerome and Hastie, Trevor and Tibshirani, Robert},
	howpublished={arXiv:1001.0736v1 [math.ST]},
	year={2010},
	doi={10.48550/arXiv.1001.0736}
}

@article{fryer2021shapley,
	title={Shapley Values for Feature Selection: The Good, the Bad, and the Axioms},
	author={Fryer, Daniel and Str{\"u}mke, Inga and Nguyen, Hien},
	journal={IEEE Access},
	volume={9},
	pages={144352--144360},
	year={2021},
	doi={10.1109/ACCESS.2021.3119110}
}

@inproceedings{fuchs2023active,
	title={Active Learning for {SAT} Solver Benchmarking},
	author={Fuchs, Tobias and Bach, Jakob and Iser, Markus},
	booktitle={Proc. TACAS},
	location={Paris, France},
	pages={407--425},
	year={2023},
	doi={10.1007/978-3-031-30823-9_21}
}

@book{galbrun2017redescription,
	title={Redescription Mining},
	author={Galbrun, Esther and Miettinen, Pauli},
	edition={1},
	year={2017},
	publisher={Springer},
	doi={10.1007/978-3-319-72889-6}
}

@article{galindo2019automated,
	title={Automated analysis of feature models: Quo vadis?},
	author={Galindo, Jos{\'e} A. and Benavides, David and Trinidad, Pablo and Guti{\'e}rrez-Fern{\'a}ndez, Antonio-Manuel and Ruiz-Cort{\'e}s, Antonio},
	journal={Computing},
	volume={101},
	number={5},
	pages={387--433},
	year={2019},
	doi={10.1007/s00607-018-0646-1}
}

@inproceedings{gallo2008finding,
	title={Finding Subgroups having Several Descriptions: Algorithms for Redescription Mining},
	author={Gallo, Arianna and Miettinen, Pauli and Mannila, Heikki},
	booktitle={Proc. SDM},
	location={Atlanta, GA, USA},
	pages={334--345},
	year={2008},
	doi={10.1137/1.9781611972788.30}
}

@article{gamberger2002expert,
	title={Expert-Guided Subgroup Discovery: Methodology and Application},
	author={Gamberger, Dragan and Lavra{\v{c}}, Nada},
	journal={J. Artif. Intell. Res.},
	volume={17},
	pages={501--527},
	year={2002},
	doi={10.1613/jair.1089}
}

@book{garey2003computers,
	title={Computers and Intractibility: A Guide to the Theory of {NP}-Completeness},
	author={Garey, Michael R. and Johnson, David S.},
	edition={24},
	year={2003},
	publisher={{W. H. F}reeman and Company},
	url={https://www.worldcat.org/title/440655898}
}

@inproceedings{gilpin2018explaining,
	title={Explaining Explanations: An Overview of Interpretability of Machine Learning},
	author={Gilpin, Leilani H. and Bau, David and Yuan, Ben Z. and Bajwa, Ayesha and Specter, Michael and Kagal, Lalana},
	booktitle={Proc. DSAA},
	location={Turin, Italy},
	pages={80--89},
	year={2018},
	doi={10.1109/DSAA.2018.00018}
}

@inproceedings{gorji2022sufficient,
	title={Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints},
	author={Gorji, Niku and Rubin, Sasha},
	booktitle={Proc. AAAI},
	location={Virtual Conference},
	pages={5660--5667},
	year={2022},
	doi={10.1609/aaai.v36i5.20507}
}

@article{grossi2017survey,
	title={Survey on using constraints in data mining},
	author={Grossi, Valerio and Romei, Andrea and Turini, Franco},
	journal={Data Min. Knowl. Disc.},
	volume={31},
	number={2},
	pages={424--464},
	year={2017},
	doi={10.1007/s10618-016-0480-z}
}

@article{grosskreutz2009subgroup,
	title={On subgroup discovery in numerical domains},
	author={Grosskreutz, Henrik and R{\"u}ping, Stefan},
	journal={Data Min. Knowl. Disc.},
	volume={19},
	number={2},
	pages={210--226},
	year={2009},
	doi={10.1007/s10618-009-0136-3}
}

@inproceedings{grosskreutz2012enhanced,
	title={An Enhanced Relevance Criterion For More Concise Supervised Pattern Discovery},
	author={Gro\ss{}kreutz, Henrik and Paurat, Daniel and R{\"u}ping, Stefan},
	booktitle={Proc. KDD},
	location={Beijing, China},
	pages={1442--1450},
	year={2012},
	doi={10.1145/2339530.2339756}
}

@phdthesis{groves2015toward,
	title={Toward Automating and Systematizing the Use of Domain Knowledge in Feature Selection},
	author={Groves, William Christopher},
	year={2015},
	school={University of Minnesota},
	url={https://hdl.handle.net/11299/175444}
}

@article{guidotti2022counterfactual,
	title={Counterfactual explanations and how to find them: literature review and benchmarking},
	author={Guidotti, Riccardo},
	journal={Data Min. Knowl. Disc.},
	year={2022},
	doi={10.1007/s10618-022-00831-6}
}

@inproceedings{gunnemann2009detection,
	title={Detection of Orthogonal Concepts in Subspaces of High Dimensional Data},
	author={G{\"u}nnemann, Stephan and M{\"u}ller, Emmanuel and F{\"a}rber, Ines and Seidl, Thomas},
	location={Hong Kong, China},
	booktitle={Proc. CIKM},
	pages={1317--1326},
	year={2009},
	doi={10.1145/1645953.1646120}
}

@article{guns2011itemset,
	title={Itemset mining: A constraint programming perspective},
	author={Guns, Tias and Nijssen, Siegfried and De Raedt, Luc},
	journal={Artif. Intell.},
	volume={175},
	number={12-13},
	pages={1951--1983},
	year={2011},
	doi={10.1016/j.artint.2011.05.002}
}

@article{guns2013kpattern,
	title={k-Pattern Set Mining under Constraints},
	author={Guns, Tias and Nijssen, Siegfried and De Raedt, Luc},
	journal={IEEE Trans. Knowl. Data Eng.},
	volume={25},
	number={2},
	pages={402--418},
	year={2011},
	doi={10.1109/TKDE.2011.204}
}

@article{guo2011genetic,
	title={A genetic algorithm for optimized feature selection with resource constraints in software product lines},
	author={Guo, Jianmei and White, Jules and Wang, Guangxin and Li, Jian and Wang, Yinglin},
	journal={J. Syst. Software},
	volume={84},
	number={12},
	pages={2208--2221},
	year={2011},
	doi={10.1016/j.jss.2011.06.026}
}

@inproceedings{guo2014scaling,
	title={Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization},
	author={Guo, Jianmei and Zulkoski, Edward and Olaechea, Rafael and Rayside, Derek and Czarnecki, Krzysztof and Apel, Sven and Atlee, Joanne M.},
	booktitle={Proc. ASE},
	location={Vasteras, Sweden},
	pages={409--420},
	year={2014},
	doi={10.1145/2642937.2642971}
}

@inproceedings{guo2018preserve,
	title={To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines},
	author={Guo, Jianmei and Shi, Kai},
	booktitle={Proc. ICSE},
	location={Gothenburg, Sweden},
	pages={1027--1038},
	year={2018},
	doi={10.1145/3180155.3180163}
}

@article{guo2019smtibea,
	title={{SMTIBEA}: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines},
	author={Guo, Jianmei and Liang, Jia Hui and Shi, Kai and Yang, Dingyu and Zhang, Jingsong and Czarnecki, Krzysztof and Ganesh, Vijay and Yu, Huiqun},
	journal={Software Syst. Model.},
	volume={18},
	number={2},
	pages={1447--1466},
	year={2019},
	doi={10.1007/s10270-017-0610-0}
}

@article{guru2018alternative,
	title={An alternative framework for univariate filter based feature selection for text categorization},
	author={Guru, D. S. and Suhil, Mahamad and Raju, Lavanya Narayana and Kumar, N. Vinay},
	journal={Pattern Recognit. Lett.},
	volume={103},
	pages={23--31},
	year={2018},
	doi={10.1016/j.patrec.2017.12.025}
}

@article{guyon2003introduction,
	title={An Introduction to Variable and Feature Selection},
	author={Guyon, Isabelle and Elisseeff, Andr{\'e}},
	journal={J. Mach. Learn. Res.},
	volume={3},
	number={Mar},
	pages={1157--1182},
	year={2003},
	url={https://www.jmlr.org/papers/v3/guyon03a.html}
}

@article{haouari2008maximizing,
	title={Maximizing the minimum completion time on parallel machines},
	author={Haouari, Mohamed and Jemmali, Mahdi},
	journal={4OR},
	volume={6},
	number={4},
	pages={375--392},
	year={2008},
	doi={10.1007/s10288-007-0053-5}
}

@inproceedings{harman2014search,
	title={Search based software engineering for software product line engineering: a survey and directions for future work},
	author={Harman, Mark and Jia, Yue and Krinke, Jens and Langdon, William B. and Petke, Justyna and Zhang, Yuanyuan},
	booktitle={Proc. SPLC},
	location={Florence, Italy},
	pages={5--18},
	year={2014},
	doi={10.1145/2648511.2648513}
}

@article{he2003kappa,
	title={k-Partitioning Problems for Maximizing the Minimum Load},
	author={He, Yong and Tan, Zhiyi and Zhu, Jing and Yao, Enyu},
	journal={Comput. Math. Appl.},
	volume={46},
	number={10-11},
	pages={1671--1681},
	year={2003},
	doi={10.1016/S0898-1221(03)90201-X}
}

@article{helal2016subgroup,
	title={Subgroup Discovery Algorithms: A Survey and Empirical Evaluation},
	author={Helal, Sumyea},
	journal={J. Comput. Sci. Technol.},
	volume={31},
	number={3},
	pages={561--576},
	year={2016},
	doi={10.1007/s11390-016-1647-1}
}

@inproceedings{henard2015combining,
	title={Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines},
	author={Henard, Christopher and Papadakis, Mike and Harman, Mark and Le Traon, Yves},
	booktitle={Proc. ICSE},
	location={Florence, Italy},
	pages={517--528},
	year={2015},
	doi={10.1109/ICSE.2015.69}
}

@article{herrera2011overview,
	title={An overview on subgroup discovery: foundations and applications},
	author={Herrera, Franciso and Carmona, Crist{\'o}bal Jos{\'e} and Gonz{\'a}lez, Pedro and Del Jesus, Mar{\'\i}a Jos{\'e}},
	journal={Knowl. Inf. Syst.},
	volume={29},
	number={3},
	pages={495--525},
	year={2011},
	doi={10.1007/s10115-010-0356-2}
}

@article{hijazi2021active,
	title={Active learning of constraints for weighted feature selection},
	author={Hijazi, Samah and Hamad, Denis and Kalakech, Mariam and Kalakech, Ali},
	journal={Adv. Data Anal. Classif.},
	volume={15},
	number={2},
	pages={337--377},
	year={2021},
	doi={10.1007/s11634-020-00408-5}
}

@article{hu2018subspace,
	title={Subspace multi-clustering: a review},
	author={Hu, Juhua and Pei, Jian},
	journal={Knowl. Inf. Sys.},
	volume={56},
	number={2},
	pages={257--284},
	year={2018},
	doi={10.1007/s10115-017-1110-9}
}

@article{huan2015accelerated,
	title={Accelerated materials property predictions and design using motif-based fingerprints},
	author={Huan, Tran Doan and Mannodi-Kanakkithodi, Arun and Ramprasad, Rampi},
	journal={Phys. Rev. B},
	volume={92},
	number={1},
	year={2015},
	doi={10.1103/PhysRevB.92.014106}
}

@inproceedings{hudson2023subgroup,
	title={Subgroup Discovery with {SD4Py}},
	author={Hudson, Dan and Atzmueller, Martin},
	booktitle={Proc. ECAI Workshops},
	location={Krak{\'o}w, Poland},
	pages={338--348},
	year={2023},
	doi={10.1007/978-3-031-50396-2_19}
}

@inproceedings{ignatiev2021reasoning,
	title={Reasoning-Based Learning of Interpretable {ML} Models},
	author={Ignatiev, Alexey and Marques-Silva, Joao and Narodytska, Nina and Stuckey, Peter J.},
	booktitle={Proc. IJCAI},
	location={Montreal, Canada},
	pages={4458--4465},
	year={2021},
	doi={10.24963/ijcai.2021/608}
}

@article{imbalzano2018automatic,
	title={Automatic selection of atomic fingerprints and reference configurations for machine-learning potentials},
	author={Imbalzano, Giulio and Anelli, Andrea and Giofr{\'e}, Daniele and Klees, Sinja and Behler, J{\"o}rg and Ceriotti, Michele},
	journal={J. Chem. Phys.},
	volume={148},
	number={24},
	year={2018},
	doi={10.1063/1.5024611}
}

@inproceedings{jacob2009group,
	title={Group Lasso with Overlap and Graph Lasso},
	author={Jacob, Laurent and Obozinski, Guillaume and Vert, Jean-Philippe},
	booktitle={Proc. ICML},
	locaton={Montreal, QC, Canada},
	pages={433--440},
	year={2009},
	doi={10.1145/1553374.1553431}
}

@article{jagdhuber2020cost,
	title={Cost-Constrained feature selection in binary classification: adaptations for greedy forward selection and genetic algorithms},
	author={Jagdhuber, Rudolf and Lang, Michel and Stenzl, Arnulf and Neuhaus, Jochen and Rahnenf{\"u}hrer, J{\"o}rg},
	journal={BMC Bioinf.},
	volume={21},
	year={2020},
	doi={10.1186/s12859-020-3361-9}
}

@inproceedings{jain2019attention,
	title={Attention is not Explanation},
	author={Jain, Sarthak and Wallace, Byron C.},
	booktitle={Proc. NAACL-HLT},
	location={Minneapolis, MN, USA},
	pages={3543--3556},
	year={2019},
	doi={10.18653/v1/N19-1357}
}

@inbook{james2013linear,
	author={James, Gareth and Witten, Daniela and Hastie, Trevor and Tibshirani, Robert},
	title={Linear Regression},
	booktitle={An Introduction to Statistical Learning with Applications in {R}},
	chapter={3},
	pages={59--126},
	year={2013},
	publisher={Springer},
	doi={10.1007/978-1-4614-7138-7_3},
}

@article{janet2017resolving,
	title={Resolving Transition Metal Chemical Space: Feature Selection for Machine Learning and Structure--Property Relationships},
	author={Janet, Jon Paul and Kulik, Heather J.},
	journal={J. Phys. Chem. A},
	volume={121},
	number={46},
	pages={8939--8954},
	year={2017},
	doi={10.1021/acs.jpca.7b08750}
}

@inproceedings{karimi2020model,
	title={Model-Agnostic Counterfactual Explanations for Consequential Decisions},
	author={Karimi, Amir-Hossein and Barthe, Gilles and Balle, Borja and Valera, Isabel},
	booktitle={Proc. AISTATS},
	location={Online},
	pages={895--905},
	year={2020},
	url={https://proceedings.mlr.press/v108/karimi20a.html}
}

@incollection{karp1972reducibility,
	title={Reducibility among Combinatorial Problems},
	author={Karp, Richard M.},
	booktitle={Complexity of Computer Computations},
	edition={1},
	chapter={9},
	pages={85--103},
	year={1972},
	publisher={Plenum Press},
	doi={10.1007/978-1-4684-2001-2_9}
}

@article{karpatne2017theory,
	title={Theory-Guided Data Science: A New Paradigm for Scientific Discovery from Data},
	author={Karpatne, Anuj and Atluri, Gowtham and Faghmous, James H. and Steinbach, Michael and Banerjee, Arindam and Ganguly, Auroop and Shekhar, Shashi and Samatova, Nagiza and Kumar, Vipin},
	journal={IEEE Trans. Knowl. Data Eng.},
	volume={29},
	number={10},
	pages={2318--2331},
	year={2017},
	doi={10.1109/TKDE.2017.2720168}
}

@article{kellerer2011a32approximation,
	title={A 3/2-approximation algorithm for $k_i$-partitio\-ning},
	author={Kellerer, Hans and Kotov, Vladimir},
	journal={Oper. Res. Lett.},
	volume={39},
	number={5},
	pages={359--362},
	year={2011},
	doi={10.1016/j.orl.2011.06.005}
}

@inproceedings{khanna1997complete,
	title={A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction},
	author={Khanna, Sanjeev and Sudan, Madhu and Williamson, David P.},
	booktitle={Proc. STOC},
	location={El Paso, TX, USA},
	pages={11--20},
	year={1997},
	doi={10.1145/258533.258538}
}

@article{khanna1998syntactic,
	title={On Syntactic Versus Computational Views of Approximability},
	author={Khanna, Sanjeev and Motwani, Rajeev and Sudan, Madhu and Vazirani, Umesh},
	journal={SIAM J. Comput.},
	volume={28},
	number={1},
	pages={164--191},
	year={1998},
	doi={10.1137/S0097539795286612}
}

@article{khushaba2011feature,
	title={Feature subset selection using differential evolution and a statistical repair mechanism},
	author={Khushaba, Rami N. and Al-Ani, Ahmed and Al-Jumaily, Adel},
	journal={Expert Syst. Appl.},
	volume={38},
	number={9},
	pages={11515--11526},
	year={2011},
	doi={10.1016/j.eswa.2011.03.028}
}

@inproceedings{kim2016examples,
	title={Examples are not Enough, Learn to Criticize! Criticism for Interpretability},
	author={Kim, Been and Khanna, Rajiv and Koyejo, Oluwasanmi},
	booktitle={Proc. NIPS},
	location={Barcelona, Spain},
	year={2016},
	url={https://proceedings.neurips.cc/paper_files/paper/2016/hash/5680522b8e2bb01943234bce7bf84534-Abstract.html}
}

@article{kim2021multi,
	title={A Multi-Component Framework for the Analysis and Design of Explainable Artificial Intelligence},
	author={Kim, Mi-Young and Atakishiyev, Shahin and Babiker, Housam Khalifa Bashier and Farruque, Nawshad and Goebel, Randy and Za{\"\i}ane, Osmar R. and Motallebi, Mohammad-Hossein and Rabelo, Juliano and Syed, Talat and Yao, Hengshuai and Chun, Peter},
	journal={Mach. Learn. Knowl. Extr.},
	volume={3},
	number={4},
	pages={900--921},
	year={2021},
	doi={10.3390/make3040045}
}

@inproceedings{koccak2020exploiting,
	title={Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining},
	author={Ko{\c{c}}ak, G{\"o}kberk and Akg{\"u}n, {\"O}zg{\"u}r and Guns, Tias and Miguel, Ian},
	booktitle={Proc. ECAI},
	location={Santiago de Compostela, Spain},
	pages={331--338},
	year={2020},
	doi={10.3233/FAIA200110}
}

@article{kohavi1997wrappers,
	title={Wrappers for feature subset selection},
	author={Kohavi, Ron and John, George H.},
	journal={Artif. Intell.},
	volume={97},
	number={1-2},
	pages={273--324},
	year={1997},
	doi={10.1016/S0004-3702(97)00043-X}
}

@inproceedings{korf2009multi,
	title={Multi-Way Number Partitioning},
	author={Korf, Richard E.},
	booktitle={Proc. IJCAI},
	location={Pasadena, CA, USA},
	pages={538--543},
	year={2009},
	url={https://www.ijcai.org/Proceedings/09/Papers/096.pdf}
}

@inproceedings{korf2010objective,
	title={Objective Functions for Multi-Way Number Partitioning},
	author={Korf, Richard E.},
	booktitle={Proc. SoCS},
	location={Atlanta, GA, USA},
	pages={71--72},
	year={2010},
	doi={10.1609/socs.v1i1.18172}
}

@article{kraskov2004estimating,
	title={Estimating mutual information},
	author={Kraskov, Alexander and St{\"o}gbauer, Harald and Grassberger, Peter},
	journal={Phys. Rev. E},
	volume={69},
	number={6},
	year={2004},
	doi={10.1103/PhysRevE.69.066138}
}

@article{kwakkel2016improving,
	title={Improving scenario discovery by bagging random boxes},
	author={Kwakkel, Jan H. and Cunningham, Scott C.},
	journal={Technol. Forecasting Social Change},
	volume={111},
	pages={124--134},
	year={2016},
	doi={10.1016/j.techfore.2016.06.014}
}

@article{kwakkel2017exploratory,
	title={The {Exploratory Modeling Workbench}: An open source toolkit for exploratory modeling, scenario discovery, and (multi-objective) robust decision making},
	author={Kwakkel, Jan},
	journal={Environ. Modell. Software},
	volume={96},
	pages={239--250},
	year={2017},
	doi={10.1016/j.envsoft.2017.06.054},
}

@article{laberge2023partial,
	title={Partial Order in Chaos: Consensus on Feature Attributions in the Rashomon Set},
	author={Laberge, Gabriel and Pequignot, Yann and Mathieu, Alexandre and Khomh, Foutse and Marchand, Mario},
	journal={J. Mach. Learn. Res.},
	volume={24},
	number={364},
	year={2023},
	url={http://jmlr.org/papers/v24/23-0149.html}
}

@article{lagani2017feature,
	title={Feature Selection with the {R} Package {MXM}: Discovering Statistically Equivalent Feature Subsets},
	author={Lagani, Vincenzo and Athineou, Giorgos and Farcomeni, Alessio and Tsagris, Michail and Tsamardinos, Ioannis},
	journal={J. Stat. Software},
	volume={80},
	number={7},
	year={2017},
	doi={10.18637/jss.v080.i07}
}

@inproceedings{lavravc1999rule,
	title={Rule Evaluation Measures: A Unifying View},
	author={Lavra{\v{c}}, Nada and Flach, Peter and Zupan, Blaz},
	booktitle={Proc. ILP},
	location={Bled, Slovenia},
	pages={174--185},
	year={1999},
	doi={10.1007/3-540-48751-4_17}
}

@article{lavrac2004subgroup,
	title={Subgroup discovery with {CN2-SD}},
	author={Lavra{\v{c}}, Nada and Kav{\v{s}}ek, Branko and Flach, Peter and Todorovski, Ljup{\v{c}}o},
	journal={J. Mach. Learn. Res.},
	volume={5},
	number={Feb},
	pages={153--188},
	year={2004},
	url={https://www.jmlr.org/papers/v5/lavrac04a.html}
}

@inproceedings{lavrac2006relevancy,
	title={Relevancy in Constraint-Based Subgroup Discovery},
	author={Lavra{\v{c}}, Nada and Gamberger, Dragan},
	booktitle={Proc. European Workshop on Inductive Databases and Constraint Based Mining},
	location={Hinterzarten, Germany},
	pages={243--266},
	year={2006},
	doi={10.1007/11615576_12}
}

@phdthesis{lawrinenko2017identical,
	title={Identical Parallel Machine Scheduling Problems: Structural patterns, bounding techniques and solution procedures},
	author={Lawrinenko, Alexander},
	year={2017},
	school={Friedrich-Schiller-Universit{\"a}t Jena},
	url={https://nbn-resolving.org/urn:nbn:de:gbv:27-dbt-20170427-0956483}
}

@article{lawrinenko2018reduction,
	title={Reduction criteria, upper bounds, and a dynamic programming based heuristic for the max--min $k_i$-partitioning problem},
	author={Lawrinenko, Alexander and Schwerdfeger, Stefan and Walter, Rico},
	journal={J. Heuristics},
	volume={24},
	number={2},
	pages={173--203},
	year={2018},
	doi={10.1007/s10732-017-9362-9}
}

@article{lee2018effective,
	title={Effective Evolutionary Multilabel Feature Selection under a Budget Constraint},
	author={Lee, Jaesung and Seo, Wangduk and Kim, Dae-Won},
	journal={Complexity},
	volume={2018},
	year={2018},
	doi={10.1155/2018/3241489}
}

@article{leeuwen2012diverse,
	title={Diverse subgroup set discovery},
	author={van Leeuwen, Matthijs and Knobbe, Arno},
	journal={Data Min. Knowl. Disc.},
	volume={25},
	number={2},
	pages={208--242},
	year={2012},
	doi={10.1007/s10618-012-0273-y}
}

@inproceedings{leeuwen2013discovering,
	title={Discovering Skylines of Subgroup Sets},
	author={van Leeuwen, Matthijs and Ukkonen, Antti},
	booktitle={Proc. ECML PKDD},
	location={Prague, Czech Republic},
	pages={272--287},
	year={2013},
	doi={10.1007/978-3-642-40994-3_18}
}

@inproceedings{lemmerich2010fast,
	title={Fast Discovery of Relevant Subgroup Patterns},
	author={Lemmerich, Florian and Rohlfs, Mathias and Atzmueller, Martin},
	booktitle={Proc. FLAIRS},
	location={Daytona Beach, FL, USA},
	pages={428--433},
	year={2010},
	url={https://aaai.org/papers/flairs-2010-1262/}
}

@article{lemmerich2016fast,
	title={Fast exhaustive subgroup discovery with numerical target concepts},
	author={Lemmerich, Florian and Atzmueller, Martin and Puppe, Frank},
	journal={Data Min. Knowl. Disc.},
	volume={30},
	number={3},
	pages={711--762},
	year={2016},
	doi={10.1007/s10618-015-0436-8}
}

@inproceedings{lemmerich2019pysubgroup,
	title={pysubgroup: Easy-to-Use Subgroup Discovery in {P}ython},
	author={Lemmerich, Florian and Becker, Martin},
	booktitle={Proc. ECML PKDD},
	location={Dublin, Ireland},
	pages={658--662},
	year={2019},
	doi={10.1007/978-3-030-10997-4_46}
}

@article{li2015efficient,
	title={Efficient redundancy reduced subgroup discovery via quadratic programming},
	author={Li, Rui and Perneczky, Robert and Drzezga, Alexander and Kramer, Stefan},
	journal={J. Intell. Inf. Syst.},
	volume={44},
	number={2},
	pages={271--288},
	year={2015},
	doi={10.1007/s10844-013-0284-1}
}

@article{li2017feature,
	title={Feature Selection: A Data Perspective},
	author={Li, Jundong and Cheng, Kewei and Wang, Suhang and Morstatter, Fred and Trevino, Robert P. and Tang, Jiliang and Liu, Huan},
	journal={ACM Comput. Surv.},
	volume={50},
	number={6},
	year={2017},
	doi={10.1145/3136625}
}

@incollection{li2021maxsat,
	title={Max{SAT}, Hard and Soft Constraints},
	author={Li, Chu Min and Many{\`a}, Felip},
	booktitle={Handbook of Satisfiability},
	edition={2},
	chapter={23},
	pages={903--927},
	year={2021},
	publisher={IOS Press},
	doi={10.3233/FAIA201007}
}

@inproceedings{liu2019subspace,
	title={Subspace Learning with an Archive-Based Genetic Algorithm},
	author={Liu, Kai and Tian, Jin},
	booktitle={Proc. IEEM},
	location={Changsha, China},
	pages={181--188},
	year={2018},
	doi={10.1007/978-981-13-3402-3_20}
}

@article{liu2020multi,
	author={Liu, Yue and Wu, Jun-Ming and Avdeev, Maxim and Shi, Si-Qi},
	title={Multi-Layer Feature Selection Incorporating Weighted Score-Based Expert Knowledge toward Modeling Materials with Targeted Properties},
	journal={Adv. Theor. Simul.},
	volume={3},
	number={2},
	year={2020},
	doi={10.1002/adts.201900215}
}

@inproceedings{lopez2023discovering,
	title={Discovering Diverse Top-K Characteristic Lists},
	author={Lopez-Martinez-Carrasco, Antonio and Proen{\c{c}}a, Hugo M. and Juarez, Jose M. and van Leeuwen, Matthijs and Campos, Manuel},
	booktitle={Proc. IDA},
	location={Louvain-la-Neuve, Belgium},
	pages={262--273},
	year={2023},
	doi={10.1007/978-3-031-30047-9_21}
}

@article{louveaux2014combinatorial,
	title={A combinatorial branch-and-bound algorithm for box search},
	author={Louveaux, Quentin and Mathieu, S{\'e}bastien},
	journal={Discrete Optim.},
	volume={13},
	pages={36--48},
	year={2014},
	doi={10.1016/j.disopt.2014.05.001}
}

@article{lu2018unsupervised,
	title={Unsupervised feature selection with graph learning via low-rank constraint},
	author={Lu, Guangquan and Li, Bo and Yang, Weiwei and Yin, Jian},
	journal={Multimed. Tools Appl.},
	volume={77},
	number={22},
	pages={29531--29549},
	year={2018},
	doi={10.1007/s11042-017-5207-7}
}

@inproceedings{lucas2018ssdp+,
	title={{SSDP+}: A Diverse and More Informative Subgroup Discovery Approach for High Dimensional Data},
	author={Lucas, Tarc{\'\i}sio and Vimieiro, Renato and Ludermir, Teresa},
	booktitle={Proc. CEC},
	location={Rio de Janeiro, Brazil},
	year={2018},
	doi={10.1109/CEC.2018.8477855}
}

@inproceedings{lundberg2017unified,
	title={A Unified Approach to Interpreting Model Predictions},
	author={Lundberg, Scott M. and Lee, Su-In},
	booktitle={Proc. NIPS},
	location={Long Beach, CA, USA},
	year={2017},
	url={https://proceedings.neurips.cc/paper_files/paper/2017/hash/8a20a8621978632d76c43dfd28b67767-Abstract.html}
}

@misc{lvat,
	author={She, Stephen},
	title={Linux Variability Analysis Tools},
	year={2024},
	url={https://code.google.com/archive/p/linux-variability-analysis-tools/},
	note={Accessed: 2024-06-27},
}

@inproceedings{mampaey2012efficient,
	title={Efficient Algorithms for Finding Richer Subgroup Descriptions in Numeric and Nominal Data},
	author={Mampaey, Michael and Nijssen, Siegfried and Feelders, Ad and Knobbe, Arno},
	booktitle={Proc. ICDM},
	location={Brussels, Belgium},
	pages={499--508},
	year={2012},
	doi={10.1109/ICDM.2012.117}
}

@article{mangal2018comparative,
	title={A Comparative Study of Feature Selection Methods for Stress Hotspot Classification in Materials},
	author={Mangal, Ankita and Holm, Elizabeth A.},
	journal={Integr. Mater. Manuf. Innovation},
	volume={7},
	number={3},
	pages={87--95},
	year={2018},
	doi={10.1007/s40192-018-0109-8}
}

@inproceedings{mathonat2021anytime,
	title={Anytime Subgroup Discovery in High Dimensional Numerical Data},
	author={Mathonat, Romain and Nurbakova, Diana and Boulicaut, Jean-Fran{\c{c}}ois and Kaytoue, Mehdi},
	booktitle={Proc. DSAA},
	location={Porto, Portugal},
	year={2021},
	doi={10.1109/DSAA53316.2021.9564223}
}

@inproceedings{matteucci2023benchmark,
	title={A benchmark of categorical encoders for binary classification},
	author={Matteucci, Federico and Arzamasov, Vadim and B{\"o}hm, Klemens},
	booktitle={Proc. NeurIPS},
	location={New Orleans, LA, USA},
	pages={54855--54875},
	year={2023},
	url={https://proceedings.neurips.cc/paper_files/paper/2023/hash/ac01e21bb14609416760f790dd8966ae-Abstract-Datasets_and_Benchmarks.html}
}

@article{matthews1975comparison,
	title={Comparison of the predicted and observed secondary structure of {T4} phage lysozyme},
	author={Matthews, Brian W.},
	journal={Biochim. Biophys. Acta - Protein Struct.},
	volume={405},
	number={2},
	pages={442--451},
	year={1975},
	doi={10.1016/0005-2795(75)90109-9}
}

@inproceedings{meeng2014rocsearch,
	title={{ROCsearch} -- An {ROC}-guided Search Strategy for Subgroup Discovery},
	author={Meeng, Marvin and Duivesteijn, Wouter and Knobbe, Arno},
	booktitle={Proc. SDM},
	location={Philadelphia, PA, USA},
	pages={704--712},
	year={2014},
	doi={10.1137/1.9781611973440.81}
}

@article{meeng2021real,
	title={For real: a thorough look at numeric attributes in subgroup discovery},
	author={Meeng, Marvin and Knobbe, Arno},
	journal={Data Min. Knowl. Disc.},
	volume={35},
	number={1},
	pages={158--212},
	year={2021},
	doi={10.1007/s10618-020-00703-x}
}

@inproceedings{mendonca2009splot,
	title={{S.P.L.O.T.}: Software Product Lines Online Tools},
	author={Mendonca, Marcilio and Branco, Moises and Cowan, Donald},
	booktitle={Proc. OOPSLA},
	location={Orlando, FL, USA},
	pages={761--762},
	year={2009},
	doi={10.1145/1639950.1640002}
}

@article{michiels2012computer,
	title={Computer-assisted proof of performance ratios for the Differencing Method},
	author={Michiels, Wil and Aarts, Emile and Korst, Jan and van Leeuwen, Jan and Spieksma, Frits C.R.},
	journal={Discrete Optim.},
	volume={9},
	number={1},
	pages={1--16},
	year={2012},
	doi={10.1016/j.disopt.2011.10.001}
}

@article{mihelcic2023complexity,
	title={On the complexity of redescription mining},
	author={Mihel{\v{c}}i{\'c}, Matej and Kurdija, Adrian Satja},
	journal={Theor. Comput. Sci.},
	volume={944},
	year={2023},
	doi={10.1016/j.tcs.2022.12.023}
}

@article{mnich2018parameterized,
	title={Parameterized complexity of machine scheduling: 15 open problems},
	author={Mnich, Matthias and van Bevern, Ren{\'e}},
	journal={Comput. Oper. Res.},
	volume={100},
	pages={254--261},
	year={2018},
	doi={10.1016/j.cor.2018.07.020}
}

@inproceedings{mohammadi2021scaling,
	title={Scaling Guarantees for Nearest Counterfactual Explanations},
	author={Mohammadi, Kiarash and Karimi, Amir-Hossein and Barthe, Gilles and Valera, Isabel},
	booktitle={Proc. AIES},
	location={Virtual Event, USA},
	pages={177--187},
	year={2021},
	doi={10.1145/3461702.3462514}
}

@inproceedings{molnar2020interpretable,
	title={Interpretable Machine Learning -- A Brief History, State-of-the-Art and Challenges},
	author={Molnar, Christoph and Casalicchio, Giuseppe and Bischl, Bernd},
	booktitle={Proc. ECML PKDD Workshops},
	location={Ghent, Belgium},
	pages={417--431},
	year={2020},
	doi={10.1007/978-3-030-65965-3_28}
}

@article{momeni2021cafs,
	title={{CAFS}: Cost-Aware Features Selection Method for Multimodal Stress Monitoring on Wearable Devices},
	author={Momeni, Niloofar and Vald{\'e}s, Adriana Arza and Rodrigues, Jo{\~a}o and Sandi, Carmen and Atienza, David},
	journal={IEEE Trans. Biomed. Eng.},
	volume={69},
	number={3},
	pages={1072--1084},
	year={2021},
	doi={10.1109/TBME.2021.3113593}
}

@misc{mosek2022modeling,
	author={{MOSEK ApS}},
	title={{MOSEK} Modeling Cookbook : Mixed integer optimzation},
	year={2024},
	url={https://docs.mosek.com/modeling-cookbook/mio.html},
	note={Accessed: 2024-06-27}
}

@inproceedings{mothilal2020explaining,
	title={Explaining Machine Learning Classifiers through Diverse Counterfactual Explanations},
	author={Mothilal, Ramaravind K. and Sharma, Amit and Tan, Chenhao},
	booktitle={Proc. FAT*},
	location={Barcelona, Spain},
	pages={607--617},
	year={2020},
	doi={10.1145/3351095.3372850}
}

@inproceedings{mueller2009relevant,
	title={Relevant Subspace Clustering: Mining the Most Interesting Non-Redundant Concepts in High Dimensional Data},
	author={M{\"u}ller, Emmanuel and Assent, Ira and G{\"u}nnemann, Stephan and Krieger, Ralph and Seidl, Thomas},
	booktitle={Proc. ICDM},
	location={Miami Beach, FL, USA},
	pages={377--386},
	year={2009},
	doi={10.1109/ICDM.2009.10}
}

@article{mueller2021feature,
	title={Feature selection for energy system modeling: Identification of relevant time series information},
	author={M{\"u}ller, Inga M.},
	journal={Energy AI},
	volume={4},
	year={2021},
	doi={10.1016/j.egyai.2021.100057}
}

@article{myerson1981utilitarianism,
	title={Utilitarianism, Egalitarianism, and the Timing Effect in Social Choice Problems},
	author={Myerson, Roger B.},
	journal={Econometrica},
	volume={49},
	number={4},
	pages={883--897},
	year={1981},
	doi={10.2307/1912508}
}

@inproceedings{narodytska2018learning,
	title={Learning Optimal Decision Trees with {SAT}},
	author={Narodytska, Nina and Ignatiev, Alexey and Pereira, Filipe and Marques-Silva, Joao},
	booktitle={Proc. IJCAI},
	location={Stockholm, Sweden},
	pages={1362--1368},
	year={2018},
	doi={10.24963/ijcai.2018/189}
}

@inproceedings{neutatz2021enforcing,
	title={Enforcing Constraints for Machine Learning Systems via Declarative Feature Selection: An Experimental Study},
	author={Neutatz, Felix and Biessmann, Felix and Abedjan, Ziawasch},
	booktitle={Proc. SIGMOD},
	location={Virtual Event, China},
	pages={1345--1358},
	year={2021},
	doi={10.1145/3448016.3457295}
}

@article{neutatz2023automl,
	title={Auto{ML} in heavily constrained applications},
	author={Neutatz, Felix and Lindauer, Marius and Abedjan, Ziawasch},
	journal={VLDB J.},
	year={2023},
	doi={10.1007/s00778-023-00820-1}
}

@article{ng1998exploratory,
	title={Exploratory Mining and Pruning Optimizations of Constrained Associations Rules},
	author={Ng, Raymond T. and Lakshmanan, Laks V. S. and Han, Jiawei and Pang, Alex},
	journal={ACM SIGMOD Rec.},
	volume={27},
	number={2},
	pages={13--24},
	year={1998},
	doi={10.1145/276305.276307}
}

@inproceedings{nguyen2009optimizing,
	title={Optimizing a Class of Feature Selection Measures},
	author={Nguyen, Hai and Franke, Katrin and Petrovi{\'c}, Slobodan},
	booktitle={Proc. DISCML},
	location={Vancouver, BC, Canada},
	year={2009},
	url={https://www.researchgate.net/publication/231175763}
}

@inproceedings{nguyen2010towards,
	title={Towards a Generic Feature-Selection Measure for Intrusion Detection},
	author={Nguyen, Hai Thanh and Franke, Katrin and Petrovi{\'c}, Slobodan},
	booktitle={Proc. ICPR},
	location={Istanbul, Turkey},
	pages={1529--1532},
	year={2010},
	doi={10.1109/ICPR.2010.378}
}

@inproceedings{nguyen20134s,
	title={{4S}: Scalable Subspace Search Scheme Overcoming Traditional {A}priori Processing},
	author={Nguyen, Hoang Vu and M{\"u}ller, Emmanuel and B{\"o}hm, Klemens},
	booktitle={Proc. Big Data},
	location={Santa Clara, CA, USA},
	pages={359--367},
	year={2013},
	doi={10.1109/BigData.2013.6691596}
}

@inproceedings{nguyen2014effective,
	title={Effective Global Approaches for Mutual Information Based Feature Selection},
	author={Nguyen, Xuan Vinh and Chan, Jeffrey and Romano, Simone and Bailey, James},
	booktitle={Proc. KDD},
	location={New York, NY, USA},
	pages={512--521},
	year={2014},
	doi={10.1145/2623330.2623611}
}

@inproceedings{nieuwenhuis2006sat,
	title={On {SAT} Modulo Theories and Optimization Problems},
	author={Nieuwenhuis, Robert and Oliveras, Albert},
	booktitle={Proc. SAT},
	location={Seattle, WA, USA},
	pages={156--169},
	year={2006},
	doi={10.1007/11814948_18}
}

@inproceedings{njoku2023wrapper,
	title={Wrapper Methods for Multi-Objective Feature Selection},
	author={Njoku, Uchechukwu F. and Abell{\'o}, Alberto and Bilalli, Besim and Bontempi, Gianluca},
	booktitle={Proc. EDBT},
	location={Ioannina, Greece},
	pages={697--709},
	year={2023},
	doi={10.48786/edbt.2023.58}
}

@inproceedings{nudelman2004understanding,
	title={Understanding Random {SAT}: Beyond the Clauses-to-Variables Ratio},
	author={Nudelman, Eugene and Leyton-Brown, Kevin and Hoos, Holger H. and Devkar, Alex and Shoham, Yoav},
	booktitle={Proc. CP},
	location={Toronto, ON, Canada},
	pages={438--452},
	year={2004},
	doi={10.1007/978-3-540-30201-8_33}
}

@article{ochoa2019constraint,
	title={Constraint programming heuristics for configuring optimal products in multi product lines},
	author={Ochoa, Lina and Gonz{\'a}lez-Rojas, Oscar and Cardozo, Nicol{\'a}s and Gonz{\'a}lez, Alvaro and Chavarriaga, Jaime and Casallas, Rubby and D{\'\i}az, Juan Francisco},
	journal={Inf. Sci.},
	volume={474},
	pages={33--47},
	year={2019},
	doi={10.1016/j.ins.2018.09.042}
}

@inproceedings{oh2017finding,
	title={Finding Near-Optimal Configurations in Product Lines by Random Sampling},
	author={Oh, Jeho and Batory, Don and Myers, Margaret and Siegmund, Norbert},
	booktitle={Proc. ESEC/FSE},
	location={Paderborn, Germany},
	pages={61--71},
	year={2017},
	doi={10.1145/3106237.3106273}
}

@article{olson2017pmlb,
	author={Olson, Randal S. and La Cava, William and Orzechowski, Patryk and Urbanowicz, Ryan J. and Moore, Jason H.},
	title={{PMLB}: a large benchmark suite for machine learning evaluation and comparison},
	journal={BioData Min.},
	volume={10},
	year={2017},
	doi={10.1186/s13040-017-0154-4}
}

@article{ordoni2022analyzing,
	title={Analyzing and Predicting Verification of Data-Aware Process Models--A Case Study With Spectrum Auctions},
	author={Ordoni, Elaheh and Bach, Jakob and Fleck, Ann-Katrin},
	journal={IEEE Access},
	volume={10},
	pages={31699--31713},
	year={2022},
	doi={10.1109/ACCESS.2022.3154445}
}

@inproceedings{paclik2002feature,
	title={On Feature Selection with Measurement Cost and Grouped Features},
	author={Pacl{\'i}k, Pavel and Duin, Robert P. W. and van Kempen, Geert M. P. and Kohlus, Reinhard},
	booktitle={Proc. SSPR /SPR},
	location={Windsor, ON, Canada},
	pages={461--469},
	year={2002},
	doi={10.1007/3-540-70659-3_48}
}

@inproceedings{parida2005redescription,
	title={Redescription Mining: Structure Theory and Algorithms},
	author={Parida, Laxmi and Ramakrishnan, Naren},
	booktitle={Proc. AAAI},
	location={Pittsburgh, PA, USA},
	pages={837--844},
	year={2005},
	url={https://aaai.org/papers/00837-aaai05-132-redescription-mining-structure-theory-and-algorithms/}
}

@article{pedregosa2011scikit-learn,
	title={Scikit-learn: Machine Learning in {P}ython},
	author={Fabian Pedregosa and Ga{{\"e}}l Varoquaux and Alexandre Gramfort and Vincent Michel and Bertrand Thirion and Olivier Grisel and Mathieu Blondel and Peter Prettenhofer and Ron Weiss and Vincent Dubourg and Jake Vanderplas and Alexandre Passos and David Cournapeau and Matthieu Brucher and Matthieu Perrot and {{\'E}}douard Duchesnay},
	journal={J. Mach. Learn. Res.},
	volume={12},
	number={85},
	pages={2825--2830},
	year={2011},
	url={http://jmlr.org/papers/v12/pedregosa11a.html}
}

@article{peng2005feature,
	title={Feature Selection Based on Mutual Information Criteria of Max-Dependency, Max-Relevance, and Min-Redundancy},
	author={Peng, Hanchuan and Long, Fuhui and Ding, Chris},
	journal={IEEE Trans. Pattern Anal. Mach. Intell.},
	volume={27},
	number={8},
	pages={1226--1238},
	year={2005},
	doi={10.1109/TPAMI.2005.159}
}

@misc{perron2022or-tools,
	title={{OR-Tools}},
	author={Laurent Perron and Vincent Furnon},
	organization={Google},
	year={2024},
	url={https://developers.google.com/optimization/},
	note={Accessed: 2024-06-27}
}

@article{plasberg2009feature,
	title={Feature Selection Under a Complexity Constraint},
	author={Plasberg, Jan H. and Kleijn, W. Bastiaan},
	journal={IEEE Trans. Multimedia},
	volume={11},
	number={3},
	pages={565--571},
	year={2009},
	doi={10.1109/TMM.2009.2012944}
}

@article{popescu2022overview,
	title={An overview of machine learning techniques in constraint solving},
	author={Popescu, Andrei and Polat-Erdeniz, Seda and Felfernig, Alexander and Uta, Mathias and Atas, M{\"u}sl{\"u}m and Le, Viet-Man and Pilsl, Klaus and Enzelsberger, Martin and Tran, Thi Ngoc Trang},
	journal={J. Intell. Inf. Syst.},
	volume={58},
	number={1},
	pages={91--118},
	year={2022},
	doi={10.1007/s10844-021-00666-5}
}

@article{proencca2022robust,
	title={Robust subgroup discovery: Discovering subgroup lists using \emph{MDL}},
	author={Proen{\c{c}}a, Hugo M. and Gr{\"u}nwald, Peter and B{\"a}ck, Thomas and van Leeuwen, Matthijs},
	journal={Data Min. Knowl. Disc.},
	volume={36},
	number={5},
	pages={1885--1970},
	year={2022},
	doi={10.1007/s10618-022-00856-x}
}

@inproceedings{ramakrishnan2004turning,
	title={Turning {CARTwheels}: An Alternating Algorithm for Mining Redescriptions},
	author={Ramakrishnan, Naren and Kumar, Deept and Mishra, Bud and Potts, Malcolm and Helm, Richard F.},
	booktitle={Proc. KDD},
	location={Seattle, WA, USA},
	pages={266--275},
	year={2004},
	doi={10.1145/1014052.1014083}
}

@article{ramprasad2017machine,
	title={Machine learning in materials informatics: recent applications and prospects},
	author={Ramprasad, Rampi and Batra, Rohit and Pilania, Ghanshyam and Mannodi-Kanakkithodi, Arun and Kim, Chiho},
	journal={npj Comput. Mater.},
	volume={3},
	year={2017},
	doi={10.1038/s41524-017-0056-5}
}

@inproceedings{ribeiro2016should,
	title={``Why Should I Trust You?'' Explaining the Predictions of Any Classifier},
	author={Ribeiro, Marco Tulio and Singh, Sameer and Guestrin, Carlos},
	booktitle={Proc. KDD},
	location={San Francisco, CA, USA},
	pages={1135--1144},
	year={2016},
	doi={10.1145/2939672.2939778}
}

@article{rodriguez2010quadratic,
	title={Quadratic Programming Feature Selection},
	author={Irene Rodriguez-Lujan and Ramon Huerta and Charles Elkan and Carlos Santa Cruz},
	journal={J. Mach. Learn. Res.},
	volume={11},
	number={49},
	pages={1491--1516},
	year={2010},
	url={http://jmlr.org/papers/v11/rodriguez-lujan10a.html}
}

@misc{romano2021pmlb,
	title={{PMLB} v1.0: An open source dataset collection for benchmarking machine learning methods},
	author={Romano, Joseph D. and Le, Trang T. and La Cava, William and Gregg, John T. and Goldberg, Daniel J. and Ray, Natasha L. and Chakraborty, Praneel and Himmelstein, Daniel and Fu, Weixuan and Moore, Jason H.},
	howpublished={arXiv:2012.00058v3 [cs.LG]},
	year={2021},
	doi={10.48550/arXiv.2012.00058}
}

@article{rostami2020novel,
	title={A novel method of constrained feature selection by the measurement of pairwise constraints uncertainty},
	author={Rostami, Mehrdad and Berahmand, Kamal and Forouzandeh, Saman},
	journal={J. Big Data},
	volume={7},
	year={2020},
	doi={10.1186/s40537-020-00352-3}
}

@inproceedings{russell2019efficient,
	title={Efficient Search for Diverse Coherent Explanations},
	author={Russell, Chris},
	booktitle={Proc. FAT*},
	location={Atlanta, GA, USA},
	pages={20--28},
	year={2019},
	doi={10.1145/3287560.3287569}
}

@inproceedings{saeys2008robust,
	title={Robust Feature Selection Using Ensemble Feature Selection Techniques},
	author={Saeys, Yvan and Abeel, Thomas and Peer, Yves Van de},
	booktitle={Proc. ECML PKDD},
	location={Antwerp, Belgium},
	pages={313--325},
	year={2008},
	doi={10.1007/978-3-540-87481-2_21}
}

@article{sahni1976algorithms,
	title={Algorithms for Scheduling Independent Tasks},
	author={Sahni, Sartaj K.},
	journal={J. ACM},
	volume={23},
	number={1},
	pages={116--127},
	year={1976},
	doi={10.1145/321921.321934}
}

@inproceedings{sayyad2013value,
	title={On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines},
	author={Sayyad, Abdel Salam and Menzies, Tim and Ammar, Hany},
	booktitle={Proc. ICSE},
	location={San Francisco, CA, USA},
	pages={492--501},
	year={2013},
	doi={10.1109/ICSE.2013.6606595}
}

@inproceedings{schaefer1978complexity,
	title={The Complexity of Satisfiability Problems},
	author={Schaefer, Thomas J.},
	booktitle={Proc. STOC},
	location={San Diego, CA, USA},
	pages={216--226},
	year={1978},
	doi={10.1145/800133.804350}
}

@inproceedings{schidler2021sat,
	title={{SAT}-based Decision Tree Learning for Large Data Sets},
	author={Schidler, Andr{\'e} and Szeider, Stefan},
	booktitle={Proc. AAAI},
	location={Virtual Conference},
	pages={3904--3912},
	year={2021},
	doi={10.1609/aaai.v35i5.16509}
}

@inproceedings{scholz2005sampling,
	title={Sampling-Based Sequential Subgroup Mining},
	author={Scholz, Martin},
	booktitle={Proc. KDD},
	location={Chicago, IL, USA},
	pages={265--274},
	year={2005},
	doi={10.1145/1081870.1081902}
}

@article{schreiber2018optimal,
	title={Optimal Multi-Way Number Partitioning},
	author={Schreiber, Ethan L. and Korf, Richard E. and Moffitt, Michael D.},
	journal={J. ACM},
	volume={65},
	number={4},
	pages={1--61},
	year={2018},
	doi={10.1145/3184400}
}

@article{seijo2017ensemble,
	title={Ensemble feature selection: Homogeneous and heterogeneous approaches},
	author={Seijo-Pardo, Borja and Porto-D{\'i}az, Iago and Bol{\'o}n-Canedo, Ver{\'o}nica and Alonso-Betanzos, Amparo},
	journal={Knowl.-Based Syst.},
	volume={118},
	pages={124--139},
	year={2017},
	doi={10.1016/j.knosys.2016.11.017}
}

@article{serpico2001new,
	title={A New Search Algorithm for Feature Selection in Hyperspectral Remote Sensing Images},
	author={Serpico, Sebastiano B. and Bruzzone, Lorenzo},
	journal={IEEE Trans. Geosci. Remote Sens.},
	volume={39},
	number={7},
	pages={1360--1367},
	year={2001},
	doi={10.1109/36.934069}
}

@inproceedings{shati2021sat,
	title={{SAT}-Based Approach for Learning Optimal Decision Trees with Non-Binary Features},
	author={Shati, Pouya and Cohen, Eldan and McIlraith, Sheila},
	booktitle={Proc. CP},
	location={Montpellier, France (Virtual Conference)},
	year={2021},
	doi={10.4230/LIPIcs.CP.2021.50}
}

@article{sheikhpour2017survey,
	title={A survey on semi-supervised feature selection methods},
	author={Sheikhpour, Razieh and Sarram, Mehdi Agha and Gharaghani, Sajjad and Chahooki, Mohammad Ali Zare},
	journal={Pattern Recognit.},
	volume={64},
	pages={141--158},
	year={2017},
	doi={10.1016/j.patcog.2016.11.003}
}

@inproceedings{shekar2017diverse,
	title={Diverse Selection of Feature Subsets for Ensemble Regression},
	author={Shekar, Arvind Kumar and S{\'a}nchez, Patricia Iglesias and M{\"u}ller, Emmanuel},
	booktitle={Proc. DaWaK},
	location={Lyon, France},
	pages={259--273},
	year={2017},
	doi={10.1007/978-3-319-64283-3_19}
}

@inproceedings{shrotri2022constraint,
	title={Constraint-Driven Explanations for Black-Box {ML} Models},
	author={Shrotri, Aditya A. and Narodytska, Nina and Ignatiev, Alexey and Meel, Kuldeep S. and Marques-Silva, Joao and Vardi, Moshe Y.},
	booktitle={Proc. AAAI},
	location={Virtual Conference},
	pages={8304--8314},
	year={2022},
	doi={10.1609/aaai.v36i8.20805}
}

@article{siddiqi2020genetic,
	title={Genetic Algorithm for the Mutual Information-Based Feature Selection in Univariate Time Series Data},
	author={Siddiqi, Umair F. and Sait, Sadiq M. and Kaynak, Okyay},
	journal={IEEE Access},
	volume={8},
	pages={9597--9609},
	year={2020},
	doi={10.1109/ACCESS.2020.2964803}
}

@article{silva2016constrained,
	title={Constrained pattern mining in the new era},
	author={Silva, Andreia and Antunes, Cl{\'a}udia},
	journal={Knowl. Inf. Syst.},
	volume={47},
	number={3},
	pages={489--516},
	year={2016},
	doi={10.1007/s10115-015-0860-5}
}

@inproceedings{silva2019produce,
	title={How to produce complementary explanations using an Ensemble model},
	author={Silva, Wilson and Fernandes, Kelwin and Cardoso, Jaime S.},
	booktitle={Proc. IJCNN},
	location={Budapest, Hungary},
	year={2019},
	doi={10.1109/IJCNN.2019.8852409}
}

@article{simon2013sparse,
	title={A Sparse-Group Lasso},
	author={Simon, Noah and Friedman, Jerome and Hastie, Trevor and Tibshirani, Robert},
	journal={J. Comput. Graphical Stat.},
	volume={22},
	number={2},
	pages={231--245},
	year={2013},
	doi={10.1080/10618600.2012.681250}
}

@inproceedings{sinz2005towards,
	title={Towards an Optimal {CNF} Encoding of Boolean Cardinality Constraints},
	author={Sinz, Carsten},
	booktitle={Proc. CP},
	location={Sitges, Spain},
	pages={827--831},
	year={2005},
	doi={10.1007/11564751_73}
}

@article{sosa2024feature,
	title={Feature selection: a perspective on inter-attribute cooperation},
	author={Sosa-Cabrera, Gustavo and G{\'o}mez-Guerrero, Santiago and Garc{\'\i}a-Torres, Miguel and Schaerer, Christian E.},
	journal={Int. J. Data Sci. Anal.},
	volume={17},
	number={2},
	pages={139--151},
	year={2024},
	doi={10.1007/s41060-023-00439-z}
}

@article{stepin2021survey,
	title={A Survey of Contrastive and Counterfactual Explanation Generation Methods for Explainable Artificial Intelligence},
	author={Stepin, Ilia and Alonso, Jose M. and Catala, Alejandro and Pereira-Fari{\~n}a, Mart{\'i}n},
	journal={IEEE Access},
	volume={9},
	pages={11974--12001},
	year={2021},
	doi={10.1109/ACCESS.2021.3051315}
}

@article{sudmanns2020data,
	author={Sudmanns, Markus and Bach, Jakob and Weygand, Daniel and Schulz, Katrin},
	title={Data-driven exploration and continuum modeling of dislocation networks},
	journal={Modell. Simul. Mater. Sci. Eng.},
	volume={28},
	number={6},
	year={2020},
	doi={10.1088/1361-651x/ab97ef}
}

@inproceedings{thum2009reasoning,
	title={Reasoning about Edits to Feature Models},
	author={Thum, Thomas and Batory, Don and Kastner, Christian},
	booktitle={Proc. ICSE},
	location={Vancouver, BC, Canada},
	pages={254--264},
	year={2009},
	doi={10.1109/ICSE.2009.5070526}
}

@inproceedings{trittenbach2018tradeoff,
	title={On the Tradeoff between Energy Data Aggregation and Clustering Quality},
	author={Trittenbach, Holger and Bach, Jakob and B{\"o}hm, Klemens},
	booktitle={Proc. e-Energy},
	location={Karlsruhe, Germany},
	pages={399--401},
	year={2018},
	doi={10.1145/3208903.3212038}
}

@article{trittenbach2019understanding,
	title={Understanding the effects of temporal energy-data aggregation on clustering quality},
	author={Trittenbach, Holger and Bach, Jakob and B{\"o}hm, Klemens},
	journal={it -- Inf. Technol.},
	volume={61},
	number={2-3},
	pages={111--123},
	year={2019},
	doi={10.1515/itit-2019-0014}
}

@article{trittenbach2019dimension,
	title={Dimension-based subspace search for outlier detection},
	author={Trittenbach, Holger and B{\"o}hm, Klemens},
	journal={Int. J. Data Sci. Anal.},
	volume={7},
	number={2},
	pages={87--101},
	year={2019},
	doi={10.1007/s41060-018-0137-7}
}

@inproceedings{ulrich2022selecting,
	title={Selecting {SAT} Encodings for Pseudo-Boolean and Linear Integer Constraints},
	author={Ulrich-Oltean, Felix and Nightingale, Peter and Walker, James Alfred},
	booktitle={Proc. CP},
	location={Haifa, Israel},
	year={2022},
	doi={10.4230/LIPIcs.CP.2022.38}
}

@article{vanschoren2014openml,
	title={{OpenML}: networked science in machine learning},
	author={Vanschoren, Joaquin and Van Rijn, Jan N. and Bischl, Bernd and Torgo, Luis},
	journal={ACM SIGKDD Explor. Newsl.},
	volume={15},
	number={2},
	pages={49--60},
	year={2014},
	doi={10.1145/2641190.2641198}
}

@inbook{ventura2018subgroup,
	title={Subgroup Discovery},
	author={Ventura, Sebasti{\'a}n and Luna, Jos{\'e} Mar{\'i}a},
	booktitle={Supervised Descriptive Pattern Mining},
	edition={1},
	chapter={4},
	pages={71--98},
	year={2018},
	publisher={Springer},
	doi={10.1007/978-3-319-98140-6_4}
}

@misc{verma2020counterfactual,
	title={Counterfactual Explanations for Machine Learning: A Review},
	author={Verma, Sahil and Boonsanong, Varich and Hoang, Minh and Hines, Keegan E. and Dickerson, John P. and Shah, Chirag},
	howpublished={arXiv:2010.10596v3 [cs.LG]},
	year={2022},
	doi={10.48550/arXiv.2010.10596}
}

@article{wachter2017counterfactual,
	title={Counterfactual Explanations without Opening the Black Box: Automated Decisions and the {GDPR}},
	author={Wachter, Sandra and Mittelstadt, Brent and Russell, Chris},
	journal={Harv. J. Law Technol.},
	volume={31},
	number={2},
	pages={841--887},
	year={2017},
	url={https://jolt.law.harvard.edu/assets/articlePDFs/v31/Counterfactual-Explanations-without-Opening-the-Black-Box-Sandra-Wachter-et-al.pdf}
}

@article{wagner2016theory,
	title={Theory-Guided Machine Learning in Materials Science},
	author={Wagner, Nicholas and Rondinelli, James M.},
	journal={Front. Mater. Sci.},
	volume={3},
	year={2016},
	doi={10.3389/fmats.2016.00028}
}

@article{walter2017improved,
	title={Improved approaches to the exact solution of the machine covering problem},
	author={Walter, Rico and Wirth, Martin and Lawrinenko, Alexander},
	journal={J. Sched.},
	volume={20},
	number={2},
	pages={147--164},
	year={2017},
	doi={10.1007/s10951-016-0477-x}
}

@inproceedings{wang2019designing,
	title={Designing Theory-Driven User-Centric Explainable {AI}},
	author={Wang, Danding and Yang, Qian and Abdul, Ashraf and Lim, Brian Y.},
	booktitle={Proc. CHI},
	location={Glasgow, United Kingdom},
	year={2019},
	doi={10.1145/3290605.3300831}
}

@article{weygand2001discrete,
	title={Discrete dislocation modeling in three-dimensional confined volumes},
	author={Weygand, Daniel and Friedman, Lawrence H. and van der Giessen, Erik and Needleman, Alan},
	journal={Mater. Sci. Eng., A},
	volume={309--310},
	pages={420--424},
	year={2001},
	doi={10.1016/S0921-5093(00)01632-4}
}

@article{white2010automated,
	title={Automated diagnosis of feature model configurations},
	author={White, Jules and Benavides, David and Schmidt, Douglas C. and Trinidad, Pablo and Dougherty, Brian and Ruiz-Cort{\'e}s, Antonio},
	journal={J. Syst. Software},
	volume={83},
	number={7},
	pages={1094--1107},
	year={2010},
	doi={10.1016/j.jss.2010.02.017}
}

@article{wilson1931semi,
	title={On Semi-Metric Spaces},
	author={Wilson, Wallace Alvin},
	journal={Am. J. Math.},
	volume={53},
	number={2},
	pages={361--373},
	year={1931},
	doi={10.2307/2370790}
}

@article{woeginger1997polynomial,
	title={A polynomial-time approximation scheme for maximizing the minimum machine completion time},
	author={Woeginger, Gerhard J.},
	journal={Oper. Res. Lett.},
	volume={20},
	number={4},
	pages={149--154},
	year={1997},
	doi={10.1016/S0167-6377(96)00055-7}
}

@inproceedings{woznica2012model,
	title={Model Mining for Robust Feature Selection},
	author={Woznica, Adam and Nguyen, Phong and Kalousis, Alexandros},
	booktitle={Proc. KDD},
	location={Beijing, China},
	pages={913--921},
	year={2012},
	doi={10.1145/2339530.2339674}
}

@article{yang2015budget,
	title={Budget constrained non-monotonic feature selection},
	author={Yang, Haiqin and Xu, Zenglin and Lyu, Michael R. and King, Irwin},
	journal={Neural Networks},
	volume={71},
	pages={214--224},
	year={2015},
	doi={10.1016/j.neunet.2015.08.004}
}

@article{yu2021learning,
	title={Learning Optimal Decision Sets and Lists with {SAT}},
	author={Yu, Jinqiang and Ignatiev, Alexey and Stuckey, Peter J. and Le Bodic, Pierre},
	journal={J. Artif. Intell. Res.},
	volume={72},
	pages={1251--1279},
	year={2021},
	doi={10.1613/jair.1.12719}
}

@inproceedings{yu2003feature,
	title={Feature Selection for High-Dimensional Data: A Fast Correlation-Based Filter Solution},
	author={Yu, Lei and Liu, Huan},
	booktitle={Proc. ICML},
	location={Washington DC, USA},
	pages={856--863},
	year={2003},
	url={https://aaai.org/papers/icml03-111-feature-selection-for-high-dimensional-data-a-fast-correlation-based-filter-solution/}
}

@article{yuan2006model,
	title={Model selection and estimation in regression with grouped variables},
	author={Yuan, Ming and Lin, Yi},
	journal={J. R. Stat. Soc. B},
	volume={68},
	number={1},
	pages={49--67},
	year={2006},
	doi={10.1111/j.1467-9868.2005.00532.x}
}

@article{zhang2008constraint,
	title={Constraint Score: A new filter method for feature selection with pairwise constraints},
	author={Zhang, Daoqiang and Chen, Songcan and Zhou, Zhi-Hua},
	journal={Pattern Recognit.},
	volume={41},
	number={5},
	pages={1440--1451},
	year={2008},
	doi={10.1016/j.patcog.2007.10.009}
}

@inproceedings{zhang2011heuristic,
	title={Heuristic Algorithms for Balanced Multi-Way Number Partitioning},
	author={Zhang, Jilian and Mouratidis, Kyriakos and Pang, HweeHwa},
	booktitle={Proc. IJCAI},
	location={Barcelona, Spain},
	pages={693--698},
	year={2011},
	doi={10.5591/978-1-57735-516-8/IJCAI11-122}
}

@inproceedings{zhang2016learning,
	title={Learning for Efficient Supervised Query Expansion via Two-stage Feature Selection},
	author={Zhang, Zhiwei and Wang, Qifan and Si, Luo and Gao, Jianfeng},
	booktitle={Proc. SIGIR},
	location={Pisa, Italy},
	pages={265--274},
	year={2016},
	doi={10.1145/2911451.2911539}
}

@article{zhang2019nonlinear,
	title={Nonlinear sparse feature selection algorithm via low matrix rank constraint},
	author={Zhang, Leyuan and Li, Yangding and Zhang, Jilian and Li, Pengqing and Li, Jiaye},
	journal={Multimed. Tools Appl.},
	volume={78},
	number={23},
	pages={33319--33337},
	year={2019},
	doi={10.1007/s11042-018-6909-1}
}

@article{zhang2020unsupervised,
	title={Unsupervised Feature Selection via Adaptive Graph Learning and Constraint},
	author={Zhang, Rui and Zhang, Yunxing and Li, Xuelong},
	journal={IEEE Trans. Neural Networks Learn. Syst.},
	volume={33},
	number={3},
	pages={1355--1362},
	year={2020},
	doi={10.1109/TNNLS.2020.3042330}
}

@techreport{zhao2006grouped,
	title={Grouped and Hierarchical Model Selection through Composite Absolute Penalties},
	author={Zhao, Peng and Rocha, Guilherme and Yu, Bin},
	institution={Department of Statistics, UC Berkeley},
	year={2006},
	url={https://statistics.berkeley.edu/sites/default/files/tech-reports/703.pdf}
}