main.bib

@inproceedings{GBM2022,
	author={Ghosh, Bishwamittra and Basu, Debabrota and Meel, Kuldeep S.},
	title={Algorithmic Fairness Verification with Graphical Models},
	booktitle={Proceedings of AAAI},
	year={2022}}


@inproceedings{nuriel2021permuted,
	title={Permuted adain: Reducing the bias towards global statistics in image classification},
	author={Nuriel, Oren and Benaim, Sagie and Wolf, Lior},
	booktitle={Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition},
	pages={9482--9491},
	year={2021}
}


@book{peterson1972error,
	title={Error-correcting codes},
	author={Peterson, William Wesley and Weldon, Edward J},
	year={1972},
	publisher={MIT press}
}


@article{mistry2022milp,
	title={An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks},
	author={Mistry, Samvid and Saha, Indranil and Biswas, Swarnendu},
	journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
	volume={41},
	number={11},
	pages={4445--4456},
	year={2022},
	publisher={IEEE}
}

@article{hubara2016binarized,
	title={Binarized neural networks},
	author={Hubara, Itay and Courbariaux, Matthieu and Soudry, Daniel and El-Yaniv, Ran and Bengio, Yoshua},
	journal={Advances in neural information processing systems},
	volume={29},
	year={2016}
}

@article{ruf2021towards,
	title={Towards the right kind of fairness in AI},
	author={Ruf, Boris and Detyniecki, Marcin},
	journal={arXiv preprint arXiv:2102.08453},
	year={2021}
}


@article{biswas2022fairify,
	title={Fairify: Fairness Verification of Neural Networks},
	author={Biswas, Sumon and Rajan, Hridesh},
	journal={arXiv preprint arXiv:2212.06140},
	year={2022}
}


@inproceedings{yan2022active,
	title={Active fairness auditing},
	author={Yan, Tom and Zhang, Chicheng},
	booktitle={International Conference on Machine Learning},
	pages={24929--24962},
	year={2022},
	organization={PMLR}
}

@inproceedings{murakonda2021quantifying,
	title={Quantifying the privacy risks of learning high-dimensional graphical models},
	author={Murakonda, Sasi Kumar and Shokri, Reza and Theodorakopoulos, George},
	booktitle={International Conference on Artificial Intelligence and Statistics},
	pages={2287--2295},
	year={2021},
	organization={PMLR}
}

@inproceedings{GBM2021,
	author={Ghosh, Bishwamittra and Basu, Debabrota and Meel, Kuldeep S.},
	title={Justicia: A Stochastic {SAT} Approach to Formally Verify Fairness},
	booktitle={Proceedings of AAAI},
	year={2021},
}

@article{lundberg2020local2global,
	title={From local explanations to global understanding with explainable AI for trees},
	author={Lundberg, Scott M. and Erion, Gabriel and Chen, Hugh and DeGrave, Alex and Prutkin, Jordan M. and Nair, Bala and Katz, Ronit and Himmelfarb, Jonathan and Bansal, Nisha and Lee, Su-In},
	journal={Nature Machine Intelligence},
	volume={2},
	number={1},
	pages={2522-5839},
	year={2020},
	publisher={Nature Publishing Group}
}

@inproceedings{sliwinski2019axiomatic,
	title={Axiomatic characterization of data-driven influence measures for classification},
	author={Sliwinski, Jakub and Strobel, Martin and Zick, Yair},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={33},
	number={01},
	pages={718--725},
	year={2019}
}


@inproceedings{wang2022towards,
	title={Towards intersectionality in machine learning: Including more identities, handling underrepresentation, and performing evaluation},
	author={Wang, Angelina and Ramaswamy, Vikram V and Russakovsky, Olga},
	booktitle={2022 ACM Conference on Fairness, Accountability, and Transparency},
	pages={336--349},
	year={2022}
}


@inproceedings{li2022achieving,
	title={Achieving fairness at no utility cost via data reweighing with influence},
	author={Li, Peizhao and Liu, Hongfu},
	booktitle={International Conference on Machine Learning},
	pages={12917--12930},
	year={2022},
	organization={PMLR}
}


@inproceedings{wang2022understanding,
	title={Understanding Instance-Level Impact of Fairness Constraints},
	author={Wang, Jialu and Wang, Xin Eric and Liu, Yang},
	booktitle={International Conference on Machine Learning},
	pages={23114--23130},
	year={2022},
	organization={PMLR}
}

@book{roth1988shapley,
	title={The Shapley value: essays in honor of Lloyd S. Shapley},
	author={Roth, Alvin E},
	year={1988},
	publisher={Cambridge University Press}
}


@article{han2022explanation,
	title={Which explanation should i choose? a function approximation perspective to characterizing post hoc explanations},
	author={Han, Tessa and Srinivas, Suraj and Lakkaraju, Himabindu},
	journal={arXiv preprint arXiv:2206.01254},
	year={2022}
}


@article{toraichi1987computational,
	title={Computational complexity of spline interpolation},
	author={Toraichi, Kazuo and Katagishi, Kazuki and Sekita, Iwao and Mori, Ryoichi},
	journal={International journal of systems science},
	volume={18},
	number={5},
	pages={945--954},
	year={1987},
	publisher={Taylor \& Francis}
}


@article{eshete2021making,
	title={Making machine learning trustworthy},
	author={Eshete, Birhanu},
	journal={Science},
	volume={373},
	number={6556},
	pages={743--744},
	year={2021},
	publisher={American Association for the Advancement of Science}
}

@book{luckin2018machine,
	title={Machine Learning and Human Intelligence: The future of education for the 21st century.},
	author={Luckin, Rosemary},
	year={2018},
	publisher={ERIC}
}

@inproceedings{GMM2022,
	author={Ghosh, Bishwamittra and Malioutov, Dmitry and  Meel, Kuldeep S.},
	title={Efficient Learning of Interpretable Classification Rules},
	booktitle={Proc. of JAIR},
	year={2022},
}


@inproceedings{CGSM2020,
	author={Ciampiconi, Lorenzo and Ghosh, Bishwamittra and Scarlett, Jonathan and  Meel, Kuldeep S.},
	title={A {MaxSAT}-based Framework for Group Testing},
	booktitle={Proceedings of AAAI},
	year={2020},
}

@inproceedings{GMM2020,
	author={Ghosh, Bishwamittra and Malioutov, Dmitry and  Meel, Kuldeep S.},
	title={Classification Rules in Relaxed Logical Form},
	booktitle={Proceedings of ECAI},
	year={2020}
}

@inproceedings{GM2019,
	author={Ghosh, Bishwamittra and  Meel, Kuldeep S.},
	title={{IMLI}: An Incremental Framework for {MaxSAT}-based Learning of Interpretable Classification Rules},
	booktitle={Proceedings of AAAI/ACM Conference on AI, Ethics, and Society(AIES)},
	year={2019},
}


@incollection{hnich2011survey,
	title={A survey on CP-AI-OR hybrids for decision making under uncertainty},
	author={Hnich, Brahim and Rossi, Roberto and Tarim, S Armagan and Prestwich, Steven},
	booktitle={Hybrid Optimization},
	pages={227--270},
	year={2011},
	publisher={Springer}
}

@inproceedings{chakraborty2013scalable,
	title={A scalable approximate model counter},
	author={Chakraborty, Supratik and Meel, Kuldeep S and Vardi, Moshe Y},
	booktitle={International Conference on Principles and Practice of Constraint Programming},
	pages={200--216},
	year={2013},
	organization={Springer}
}




@article{chakraborty2014distribution,
	title={Distribution-aware sampling and weighted model counting for SAT},
	author={Chakraborty, Supratik and Fremont, Daniel J and Meel, Kuldeep S and Seshia, Sanjit A and Vardi, Moshe Y},
	journal={arXiv preprint arXiv:1404.2984},
	year={2014}
}


@article{papadimitriou1985games,
	title={Games against nature},
	author={Papadimitriou, Christos H},
	journal={Journal of Computer and System Sciences},
	volume={31},
	pages={288--301},
	year={1985},
	publisher={Elsevier}
}


@inproceedings{xu2019achieving,
	title={Achieving differential privacy and fairness in logistic regression},
	author={Xu, Depeng and Yuan, Shuhan and Wu, Xintao},
	booktitle={Companion Proceedings of The 2019 World Wide Web Conference},
	pages={594--599},
	year={2019}
}


@inproceedings{zafar2017fairness,
	title={Fairness constraints: Mechanisms for fair classification},
	author={Zafar, Muhammad Bilal and Valera, Isabel and Rogriguez, Manuel Gomez and Gummadi, Krishna P},
	booktitle={Artificial Intelligence and Statistics},
	pages={962--970},
	year={2017}
}

@article{yu2020computing,
	title={Computing Optimal Decision Sets with SAT},
	author={Yu, Jinqiang and Ignatiev, Alexey and Stuckey, Peter J and Bodic, Pierre Le},
	journal={arXiv preprint arXiv:2007.15140},
	year={2020}
}


@article{angelino2017learning,
	title={Learning certifiably optimal rule lists for categorical data},
	author={Angelino, Elaine and Larus-Stone, Nicholas and Alabi, Daniel and Seltzer, Margo and Rudin, Cynthia},
	journal={The Journal of Machine Learning Research},
	volume={18},
	pages={8753--8830},
	year={2017},
	publisher={JMLR. org}
}



@inproceedings{dyer2003approximate,
	title={Approximate counting by dynamic programming},
	author={Dyer, Martin},
	booktitle={Proceedings of the thirty-fifth annual ACM symposium on Theory of computing},
	pages={693--699},
	year={2003}
}


@inproceedings{kamiran2012decision,
	title={Decision theory for discrimination-aware classification},
	author={Kamiran, Faisal and Karim, Asim and Zhang, Xiangliang},
	booktitle={2012 IEEE 12th International Conference on Data Mining},
	pages={924--929},
	year={2012},
	organization={IEEE}
}

@article{john2020verifying,
	title={Verifying Individual Fairness in Machine Learning Models},
	author={John, Philips George and Vijaykeerthy, Deepak and Saha, Diptikalyan},
	journal={arXiv preprint arXiv:2006.11737},
	year={2020}
}

@article{bastani2019probabilistic,
	title={Probabilistic verification of fairness properties via concentration},
	author={Bastani, Osbert and Zhang, Xin and Solar-Lezama, Armando},
	journal={Proceedings of the ACM on Programming Languages},
	volume={3},
	pages={1--27},
	year={2019},
	publisher={ACM New York, NY, USA}
}

@inproceedings{friedler2019comparative,
	title={A comparative study of fairness-enhancing interventions in machine learning},
	author={Friedler, Sorelle A and Scheidegger, Carlos and Venkatasubramanian, Suresh and Choudhary, Sonam and Hamilton, Evan P and Roth, Derek},
	booktitle={Proceedings of the conference on fairness, accountability, and transparency},
	pages={329--338},
	year={2019}
}

@article{majercik2007appssat,
	title={APPSSAT: Approximate probabilistic planning using stochastic satisfiability},
	author={Majercik, Stephen M},
	journal={International Journal of Approximate Reasoning},
	volume={45},
	pages={402--419},
	year={2007},
	publisher={Elsevier}
}


@inproceedings{fremont2017maximum,
	title={Maximum Model Counting.},
	author={Fremont, Daniel J and Rabe, Markus N and Seshia, Sanjit A},
	booktitle={AAAI},
	pages={3885--3892},
	year={2017}
}


@inproceedings{raff2018fair,
	title={Fair forests: Regularized tree induction to minimize model bias},
	author={Raff, Edward and Sylvester, Jared and Mills, Steven},
	booktitle={Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society},
	pages={243--250},
	year={2018}
}



@article{zhang2019faht,
	title={Faht: an adaptive fairness-aware decision tree classifier},
	author={Zhang, Wenbin and Ntoutsi, Eirini},
	journal={arXiv preprint arXiv:1907.07237},
	year={2019}
}


@inproceedings{zhang2018mitigating,
	title={Mitigating unwanted biases with adversarial learning},
	author={Zhang, Brian Hu and Lemoine, Blake and Mitchell, Margaret},
	booktitle={Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society},
	pages={335--340},
	year={2018}
}

@inproceedings{zemel2013learning,
	title={Learning fair representations},
	author={Zemel, Rich and Wu, Yu and Swersky, Kevin and Pitassi, Toni and Dwork, Cynthia},
	booktitle={International Conference on Machine Learning},
	pages={325--333},
	year={2013}
}

@inproceedings{kusner2017counterfactual,
	title={Counterfactual fairness},
	author={Kusner, Matt J and Loftus, Joshua and Russell, Chris and Silva, Ricardo},
	booktitle={Advances in neural information processing systems},
	pages={4066--4076},
	year={2017}
}



@article{albarghouthi2017fairsquare,
	title={{FairSquare}: probabilistic verification of program fairness},
	author={Albarghouthi, Aws and D'Antoni, Loris and Drews, Samuel and Nori, Aditya V},
	journal={Proceedings of the ACM on Programming Languages},
	volume={1},
	pages={1--30},
	year={2017},
	publisher={ACM New York, NY, USA}
}


@inproceedings{lee2017solving,
	title={Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.},
	author={Lee, Nian-Ze and Wang, Yen-Shi and Jiang, Jie-Hong R},
	booktitle={IJCAI},
	pages={688--694},
	year={2017}
}

@inproceedings{lee2018solving,
	title={Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection.},
	author={Lee, Nian-Ze and Wang, Yen-Shi and Jiang, Jie-Hong R},
	booktitle={IJCAI},
	pages={1339--1345},
	year={2018}
}

@inproceedings{dwork2012fairness,
	title={Fairness through awareness},
	author={Dwork, Cynthia and Hardt, Moritz and Pitassi, Toniann and Reingold, Omer and Zemel, Richard},
	booktitle={Proceedings of the 3rd innovations in theoretical computer science conference},
	pages={214--226},
	year={2012}
}

@inproceedings{feldman2015certifying,
	title={Certifying and removing disparate impact},
	author={Feldman, Michael and Friedler, Sorelle A and Moeller, John and Scheidegger, Carlos and Venkatasubramanian, Suresh},
	booktitle={proceedings of the 21th ACM SIGKDD international conference on knowledge discovery and data mining},
	pages={259--268},
	year={2015}
}

@inproceedings{imms-sat18,
	author    = {Alexey Ignatiev and
	Antonio Morgado and
	Joao Marques{-}Silva},
	title     = {{PySAT:} {A} {Python} Toolkit for Prototyping
	with {SAT} Oracles},
	booktitle = {SAT},
	pages     = {428--437},
	year      = {2018},
	url       = {https://doi.org/10.1007/978-3-319-94144-8_26},
	doi       = {10.1007/978-3-319-94144-8_26}
}


@article{roussel2009pseudo,
	title={Pseudo-Boolean and Cardinality Constraints.},
	author={Roussel, Olivier and Manquinho, Vasco M},
	journal={Handbook of satisfiability},
	volume={185},
	pages={695--733},
	year={2009}
}




@inproceedings{narodytska2018learning,
	title={Learning Optimal Decision Trees with SAT.},
	author={Narodytska, Nina and Ignatiev, Alexey and Pereira, Filipe and Marques-Silva, Joao and RAS, IS},
	booktitle={IJCAI},
	pages={1362--1368},
	year={2018}
}

@article{triantaphyllou1994inference,
	title={Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach},
	author={Triantaphyllou, Evangelos},
	journal={Journal of Global Optimization},
	volume={5},
	pages={69--94},
	year={1994},
	publisher={Springer}
}

@inproceedings{neider2018learning,
	title={Learning linear temporal properties},
	author={Neider, Daniel and Gavran, Ivan},
	booktitle={2018 Formal Methods in Computer Aided Design (FMCAD)},
	pages={1--10},
	year={2018},
	organization={IEEE}
}


@article{kamath1992continuous,
	title={A continuous approach to inductive inference},
	author={Kamath, Anil P and Karmarkar, Narendra K and Ramakrishnan, KG and Resende, Mauricio GC},
	journal={Mathematical programming},
	volume={57},
	pages={215--238},
	year={1992},
	publisher={Springer}
}


@article{ehrenfeucht1989general,
	title={A general lower bound on the number of examples needed for learning},
	author={Ehrenfeucht, Andrzej and Haussler, David and Kearns, Michael and Valiant, Leslie},
	journal={Information and Computation},
	volume={82},
	pages={247--261},
	year={1989},
	publisher={Elsevier}
}

@article{littlestone1988learning,
	title={Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm},
	author={Littlestone, Nick},
	journal={Machine learning},
	volume={2},
	pages={285--318},
	year={1988},
	publisher={Springer}
}

@book{G2010,
	title={Checklist manifesto, the (HB)},
	author={Gawande, Atul},
	year={2010},
	publisher={Penguin Books India}
}
@article{GWSBRR2001,
	title={Validation of clinical classification schemes for predicting stroke: results from the National Registry of Atrial Fibrillation},
	author={Gage, Brian F and Waterman, Amy D and Shannon, William and Boechler, Michael and Rich, Michael W and Radford, Martha J},
	journal={Jama},
	volume={285},
	pages={2864--2870},
	year={2001},
	publisher={American Medical Association}
}


@inproceedings{benhamou1994two,
	title={Two proof procedures for a cardinality based language in propositional calculus},
	author={Benhamou, Belaid and Sais, Lakhdar and Siegel, Pierre},
	booktitle={Annual Symposium on Theoretical Aspects of Computer Science},
	pages={71--82},
	year={1994},
	organization={Springer}
}


@article{fayyad1993multi,
	title={Multi-interval discretization of continuous-valued attributes for classification learning},
	author={Fayyad, Usama and Irani, Keki},
	year={1993}
}

@article{steinke2014pblib,
	title={PBLib—A C++ Toolkit for Encoding Pseudo--Boolean Constraints into CNF},
	author={Steinke, Peter and Manthey, Norbert},
	journal={TU Dresden, Dresden, Germany, Technical Report},
	volume={1},
	pages={2014},
	year={2014}
}

@article{SAD2015,
	title={A computational intelligence technique for effective medical diagnosis using decision tree algorithm},
	author={Srikanth, Panigrahi and Anusha, Ch and Devarapalli, Dharmaiah},
	journal={i-Manager's Journal on Computer Science},
	volume={3},
	pages={21},
	year={2015},
	publisher={iManager Publications}
}

@article{TV2013,
	title={Which method predicts recidivism best?: a comparison of statistical, machine learning and data mining predictive models},
	author={Tollenaar, Nikolaj and Van der Heijden, PGM},
	journal={Journal of the Royal Statistical Society: Series A (Statistics in Society)},
	volume={176},
	pages={565--584},
	year={2013},
	publisher={Wiley Online Library}
}


@article{DF2018,
	title={The accuracy, fairness, and limits of predicting recidivism},
	author={Dressel, Julia and Farid, Hany},
	journal={Science advances},
	volume={4},
	pages={eaao5580},
	year={2018},
	publisher={American Association for the Advancement of Science}
}


@article{ZUR2017,
	title={Interpretable classification models for recidivism prediction},
	author={Zeng, Jiaming and Ustun, Berk and Rudin, Cynthia},
	journal={Journal of the Royal Statistical Society: Series A (Statistics in Society)},
	volume={180},
	pages={689--722},
	year={2017},
	publisher={Wiley Online Library}
}


@article{S2014,
	title={Machine learning and law},
	author={Surden, Harry},
	journal={Wash. L. Rev.},
	volume={89},
	pages={87},
	year={2014},
	publisher={HeinOnline}
}


@article{MVBB2005,
	title={Argument based machine learning applied to law},
	author={Mo{\v{z}}ina, Martin and {\v{Z}}abkar, Jure and Bench-Capon, Trevor and Bratko, Ivan},
	journal={Artificial Intelligence and Law},
	volume={13},
	pages={53-73},
	year={2005},
	publisher={Springer}
}


@article{K2001,
	title={Machine learning for medical diagnosis: history, state of the art and perspective},
	author={Kononenko, Igor},
	journal={Artificial Intelligence in medicine},
	volume={23},
	pages={89-109},
	year={2001},
	publisher={Elsevier}
}

@inproceedings{malioutov2018mlic,
	title={{MLIC}: A {MaxSAT}-Based framework for learning interpretable classification rules},
	author={Malioutov, Dmitry and Meel, Kuldeep S},
	booktitle={International Conference on Principles and Practice of Constraint Programming},
	pages={312--327},
	year={2018},
	organization={Springer}
}
@inproceedings{verma2018fairness,
	title={Fairness definitions explained},
	author={Verma, Sahil and Rubin, Julia},
	booktitle={2018 IEEE/ACM International Workshop on Software Fairness (FairWare)},
	pages={1--7},
	year={2018},
	organization={IEEE}
}


@article{gajane2017formalizing,
	title={On formalizing fairness in prediction with machine learning},
	author={Gajane, Pratik and Pechenizkiy, Mykola},
	journal={arXiv preprint arXiv:1710.03184},
	year={2017}
}



@inproceedings{VML2012,
	title={Making machine learning models interpretable.},
	author={Vellido, Alfredo and Mart{\'\i}n-Guerrero, Jos{\'e} David and Lisboa, Paulo JG},
	booktitle={ESANN},
	volume={12},
	pages={163--172},
	year={2012},
	organization={Citeseer}
}

@article{WRLKM2015,
	title={Or's of and's for interpretable classification, with application to context-aware recommender systems},
	author={Wang, Tong and Rudin, Cynthia and Doshi-Velez, Finale and Liu, Yimin and Klampfl, Erica and MacNeille, Perry},
	journal={arXiv preprint arXiv:1504.07614},
	year={2015}
}



@article{DK2017,
	title={Towards a rigorous science of interpretable machine learning},
	author={Doshi-Velez, Finale and Kim, Been},
	journal={arXiv preprint arXiv:1702.08608},
	year={2017}
}




@article{LRMM2015,
	title={Interpretable classifiers using rules and bayesian analysis: Building a better stroke prediction model},
	author={Letham, Benjamin and Rudin, Cynthia and McCormick, Tyler H and Madigan, David and others},
	journal={The Annals of Applied Statistics},
	volume={9},
	pages={1350--1371},
	year={2015},
	publisher={Institute of Mathematical Statistics}
}


@article{SWVM2015,
	title={Interpretable two-level boolean rule learning for classification},
	author={Su, Guolong and Wei, Dennis and Varshney, Kush R and Malioutov, Dmitry M},
	journal={arXiv preprint arXiv:1511.07361},
	year={2015}
}





@inproceedings{NIPMR2018,
	title={Learning Optimal Decision Trees with SAT.},
	author={Narodytska, Nina and Ignatiev, Alexey and Pereira, Filipe and Marques-Silva, Joao and RAS, IS},
	booktitle={IJCAI},
	pages={1362--1368},
	year={2018}
}


@incollection{DGW2018,
	title={Boolean decision rules via column generation},
	author={Dash, Sanjeeb and Gunluk, Oktay and Wei, Dennis},
	booktitle={Advances in Neural Information Processing Systems},
	pages={4655--4665},
	year={2018}
}



@incollection{GDX2018,
	title = {Learning Small Predictors},
	author = {Garg, Vikas and Dekel, Ofer and Xiao, Lin},
	pages = {},
	booktitle = {Advances in Neural Information Processing Systems},
	year = {2018},
}


@inproceedings{craven1996extracting,
	title={Extracting tree-structured representations of trained networks},
	author={Craven, Mark and Shavlik, Jude W},
	booktitle={Advances in neural information processing systems},
	pages={24--30},
	year={1996}
}





@inproceedings{EVM2015,
	title={A semiquantitative group testing approach for learning interpretable clinical prediction rules},
	author={Emad, Amin and Varshney, Kush R and Malioutov, Dmitry M},
	booktitle={Proc. Signal Process. Adapt. Sparse Struct. Repr. Workshop, Cambridge, UK},
	year={2015}
}



@inproceedings{WR2015,
	title={Falling rule lists},
	author={Wang, Fulton and Rudin, Cynthia},
	booktitle={Artificial Intelligence and Statistics},
	pages={1013--1022},
	year={2015}
}

@inproceedings{BHO2009,
	title={Minimising decision tree size as combinatorial optimisation},
	author={Bessiere, Christian and Hebrard, Emmanuel and O’Sullivan, Barry},
	booktitle={International Conference on Principles and Practice of Constraint Programming},
	pages={173--187},
	year={2009},
	organization={Springer}
}

@book{Q2014,
	title={C4. 5: programs for machine learning},
	author={Quinlan, J Ross},
	year={2014},
	publisher={Elsevier}
}

@article{R1987,
	title={Learning decision lists},
	author={Rivest, Ronald L},
	journal={Machine learning},
	volume={2},
	pages={229--246},
	year={1987},
	publisher={Springer}
}


@article{HFHPRW2009,
	title={The WEKA data mining software: an update},
	author={Hall, Mark and Frank, Eibe and Holmes, Geoffrey and Pfahringer, Bernhard and Reutemann, Peter and Witten, Ian H},
	journal={ACM SIGKDD explorations newsletter},
	volume={11},
	pages={10--18},
	year={2009},
	publisher={ACM}
}

@article{mcginley2010ricci,
	title={Ricci v. DeStefano: A Masculinities Theory Analysis},
	author={McGinley, Ann C},
	journal={Harv. JL \& Gender},
	volume={33},
	pages={581},
	year={2010},
	publisher={HeinOnline}
}

@article{angwin2016machine,
	title={Machine bias risk assessments in criminal sentencing},
	author={Angwin, Julia and Larson, Jeff and Mattu, Surya and Kirchner, Lauren},
	journal={ProPublica, May},
	volume={23},
	year={2016}
}


@inproceedings{calmon2017optimized,
	title={Optimized pre-processing for discrimination prevention},
	author={Calmon, Flavio and Wei, Dennis and Vinzamuri, Bhanukiran and Ramamurthy, Karthikeyan Natesan and Varshney, Kush R},
	booktitle={Advances in Neural Information Processing Systems},
	pages={3992--4001},
	year={2017}
}


@article{kamiran2012data,
	title={Data preprocessing techniques for classification without discrimination},
	author={Kamiran, Faisal and Calders, Toon},
	journal={Knowledge and Information Systems},
	volume={33},
	pages={1--33},
	year={2012},
	publisher={Springer}
}


@book{M1976,
	title={Myers-Briggs type indicator},
	author={Briggs, Katharine C},
	year={1976},
	publisher={Consulting Psychologists Press Palo Alto, CA}
}

@misc{aif360-oct-2018,
	title = "{AI Fairness} 360:  An Extensible Toolkit for Detecting, Understanding, and Mitigating Unwanted Algorithmic Bias",
	author = {Rachel K. E. Bellamy and Kuntal Dey and Michael Hind and
	Samuel C. Hoffman and Stephanie Houde and Kalapriya Kannan and
	Pranay Lohia and Jacquelyn Martino and Sameep Mehta and
	Aleksandra Mojsilovic and Seema Nagar and Karthikeyan Natesan Ramamurthy and
	John Richards and Diptikalyan Saha and Prasanna Sattigeri and
	Moninder Singh and Kush R. Varshney and Yunfeng Zhang},
	month = oct,
	year = {2018},
	url = {https://arxiv.org/abs/1810.01943}
}


@article{emadlearning,
	title={Learning Interpretable Clinical Prediction Rules using Threshold Group Testing},
	author={Emad, Amin and Varshney, Kush R and Malioutov, Dmitry M}
}

@inproceedings{dash2014screening,
	title={Screening for learning classification rules via Boolean compressed sensing},
	author={Dash, Sanjeeb and Malioutov, Dmitry M and Varshney, Kush R},
	booktitle={2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
	pages={3360--3364},
	year={2014},
	organization={IEEE}
}

@inproceedings{philipp2015pblib,
	title={PBLib--a library for encoding pseudo-boolean constraints into CNF},
	author={Philipp, Tobias and Steinke, Peter},
	booktitle={International Conference on Theory and Applications of Satisfiability Testing},
	pages={9--16},
	year={2015},
	organization={Springer}
}

@incollection{tseitin1983complexity,
	title={On the complexity of derivation in propositional calculus},
	author={Tseitin, Grigori S},
	booktitle={Automation of reasoning},
	pages={466--483},
	year={1983},
	publisher={Springer}
}



@article{lee2018towards,
	title={Towards formal evaluation and verification of probabilistic design},
	author={Lee, Nian-Ze and Jiang, Jie-Hong R},
	journal={IEEE Transactions on Computers},
	volume={67},
	pages={1202--1216},
	year={2018},
	publisher={IEEE}
}



@article{littman2001stochastic,
	title={Stochastic boolean satisfiability},
	author={Littman, Michael L and Majercik, Stephen M and Pitassi, Toniann},
	journal={Journal of Automated Reasoning},
	volume={27},
	pages={251--296},
	year={2001},
	publisher={Springer}
}

@article{dunkelaufairness,
	title={Fairness-Aware Machine Learning},
	author={Dunkelau, Jannik and Leuschel, Michael}
}



@book{biere2009handbook,
	title={Handbook of satisfiability},
	author={Biere, Armin and Heule, Marijn and van Maaren, Hans},
	volume={185},
	year={2009},
	publisher={IOS press}
}

@article{corbett2018measure,
	title={The measure and mismeasure of fairness: A critical review of fair machine learning},
	author={Corbett-Davies, Sam and Goel, Sharad},
	journal={arXiv preprint arXiv:1808.00023},
	year={2018}
}

@article{chouldechova2020snapshot,
	title={A snapshot of the frontiers of fairness in machine learning},
	author={Chouldechova, Alexandra and Roth, Aaron},
	journal={Communications of the ACM},
	volume={63},
	pages={82--89},
	year={2020},
	publisher={ACM New York, NY, USA}
}

@inproceedings{hardt2016equality,
	title={Equality of opportunity in supervised learning},
	author={Hardt, Moritz and Price, Eric and Srebro, Nati},
	booktitle={Advances in neural information processing systems},
	pages={3315--3323},
	year={2016}
}

@article{mehrabi2019survey,
	title={A survey on bias and fairness in machine learning},
	author={Mehrabi, Ninareh and Morstatter, Fred and Saxena, Nripsuta and Lerman, Kristina and Galstyan, Aram},
	journal={arXiv preprint arXiv:1908.09635},
	year={2019}
}

@inproceedings{galhotra2017fairness,
	title={Fairness testing: testing software for discrimination},
	author={Galhotra, Sainyam and Brun, Yuriy and Meliou, Alexandra},
	booktitle={Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
	pages={498--510},
	year={2017}
}

@inproceedings{ghosh2020formal,
	author={Ghosh, Bishwamittra and Neider, Daniel},
	title={A Formal Language Approach to Explaining {RNNs}},
	booktitle={arXiv:2006.07292},
	year={2020}}


@inproceedings{neider2020probably,
	author={Neider, Daniel and Ghosh, Bishwamittra},
	title={Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis},
	booktitle={arXiv:2009.08770},
	year={2020}}




@inproceedings{kautz1992planning,
	title={Planning as Satisfiability.},
	author={Kautz, Henry A and Selman, Bart and others},
	booktitle={ECAI},
	volume={92},
	pages={359--363},
	year={1992},
	organization={Citeseer}
}


@inproceedings{majercik2005dc,
	title={DC-SSAT: a divide-and-conquer approach to solving stochastic satisfiability problems efficiently},
	author={Majercik, Stephen M and Boots, Byron},
	booktitle={AAAI},
	pages={416--422},
	year={2005}
}



@inproceedings{huang2006combining,
	title={Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.},
	author={Huang, Jinbo and others},
	booktitle={ICAPS},
	pages={253--262},
	year={2006}
}


@article{sang2004combining,
	title={Combining Component Caching and Clause Learning for Effective Model Counting.},
	author={Sang, Tian and Bacchus, Fahiem and Beame, Paul and Kautz, Henry A and Pitassi, Toniann},
	journal={SAT},
	volume={4},
	pages={7th},
	year={2004},
	publisher={Citeseer}
}


@article{chavira2008probabilistic,
	title={On probabilistic inference by weighted model counting},
	author={Chavira, Mark and Darwiche, Adnan},
	journal={Artificial Intelligence},
	volume={172},
	pages={772--799},
	year={2008},
	publisher={Elsevier}
}



@article{tollenaar2013method,
	title={Which method predicts recidivism best?: a comparison of statistical, machine learning and data mining predictive models},
	author={Tollenaar, Nikolaj and Van der Heijden, PGM},
	journal={Journal of the Royal Statistical Society: Series A (Statistics in Society)},
	volume={176},
	pages={565--584},
	year={2013},
	publisher={Wiley Online Library}
}

@article{papernot2016towards,
	title={Towards the science of security and privacy in machine learning},
	author={Papernot, Nicolas and McDaniel, Patrick and Sinha, Arunesh and Wellman, Michael},
	journal={arXiv preprint arXiv:1611.03814},
	year={2016}
}

@article{rauber2017foolbox,
	title={Foolbox: A python toolbox to benchmark the robustness of machine learning models},
	author={Rauber, Jonas and Brendel, Wieland and Bethge, Matthias},
	journal={arXiv preprint arXiv:1707.04131},
	year={2017}
}


@article{ajunwa2016hiring,
	title={Hiring by algorithm: predicting and preventing disparate impact},
	author={Ajunwa, Ifeoma and Friedler, Sorelle and Scheidegger, Carlos E and Venkatasubramanian, Suresh},
	journal={Available at SSRN},
	note={URL: \url{http://sorelle.friedler.net/papers/SSRN-id2746078.pdf}},
	year={2016}
}

@inproceedings{martinez2021using,
	title={Using Machine Learning in Admissions: Reducing Human and Algorithmic Bias in the Selection Process},
	author={Martinez Neda, Barbara and Zeng, Yue and Gago-Masague, Sergio},
	booktitle={Proceedings of the 52nd ACM Technical Symposium on Computer Science Education},
	pages={1323--1323},
	year={2021}
}



@article{landy1978correlates,
	title={Correlates of perceived fairness and accuracy of performance evaluation.},
	author={Landy, Frank J and Barnes, Janet L and Murphy, Kevin R},
	journal={Journal of Applied psychology},
	volume={63},
	pages={751},
	year={1978},
	publisher={American Psychological Association}
}

@article{berk2019accuracy,
	title={Accuracy and fairness for juvenile justice risk assessments},
	author={Berk, Richard},
	journal={Journal of Empirical Legal Studies},
	volume={16},
	pages={175--194},
	year={2019},
	publisher={Wiley Online Library}
}

@article{zliobaite2015relation,
	title={On the relation between accuracy and fairness in binary classification},
	author={Zliobaite, Indre},
	journal={arXiv preprint arXiv:1505.05723},
	year={2015}
}

@article{dressel2018accuracy,
	title={The accuracy, fairness, and limits of predicting recidivism},
	author={Dressel, Julia and Farid, Hany},
	journal={Science advances},
	volume={4},
	pages={eaao5580},
	year={2018},
	publisher={American Association for the Advancement of Science}
}


@book{grimmett2020probability,
	title={Probability and random processes},
	author={Grimmett, Geoffrey and Stirzaker, David},
	year={2020},
	publisher={Oxford university press}
}

@book{koller2009probabilistic,
	title={Probabilistic graphical models: principles and techniques},
	author={Koller, Daphne and Friedman, Nir},
	year={2009},
	publisher={MIT press}
}



@inproceedings{nabi2018fair,
	title={Fair inference on outcomes},
	author={Nabi, Razieh and Shpitser, Ilya},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={32},
	year={2018}
}




@article{pleiss2017fairness,
	title={On fairness and calibration},
	author={Pleiss, Geoff and Raghavan, Manish and Wu, Felix and Kleinberg, Jon and Weinberger, Kilian Q},
	journal={arXiv preprint arXiv:1709.02012},
	year={2017}
}


@article{woeginger1992equal,
	title={On the equal-subset-sum problem},
	author={Woeginger, Gerhard J and Yu, Zhongliang},
	journal={Information Processing Letters},
	volume={42},
	pages={299--302},
	year={1992},
	publisher={Elsevier}
}

@inproceedings{pearl1985bayesian,
	title={Bayesian netwcrks: A model cf self-activated memory for evidential reasoning},
	author={Pearl, Judea},
	booktitle={Proceedings of the 7th conference of the Cognitive Science Society, University of California, Irvine, CA, USA},
	pages={15--17},
	year={1985}
}

@article{kleinberg2006algorithm,
	title={Algorithm design},
	author={Kleinberg, Jon and Tardos, Eva},
	year={2006},
	publisher={Pearson Education India}
}



@inproceedings{ankan2015pgmpy,
	title={pgmpy: Probabilistic graphical models using python},
	author={Ankan, Ankur and Panda, Abinash},
	booktitle={Proceedings of the 14th Python in Science Conference (SCIPY 2015)},
	year={2015},
	organization={Citeseer}
}



@inproceedings{sinz2005towards,
	title={Towards an optimal CNF encoding of boolean cardinality constraints},
	author={Sinz, Carsten},
	booktitle={International conference on principles and practice of constraint programming},
	pages={827--831},
	year={2005},
	organization={Springer}
}


@article{gage2001validation,
	title={Validation of clinical classification schemes for predicting stroke: results from the National Registry of Atrial Fibrillation},
	author={Gage, Brian F and Waterman, Amy D and Shannon, William and Boechler, Michael and Rich, Michael W and Radford, Martha J},
	journal={Jama},
	volume={285},
	pages={2864--2870},
	year={2001},
	publisher={American Medical Association}
}








@inproceedings{dash2021lprules,
	title={{LPRules}: Rule Induction in Knowledge Graphs Using Linear Programming},
	author={Dash, Sanjeeb and Goncalves, Joao},
	journal={arXiv preprint arXiv:2110.08245},
	year={2021}
}



@inproceedings{chen2018lifelong,
	title={Lifelong machine learning},
	author={Chen, Zhiyuan and Liu, Bing},
	journal={Synthesis Lectures on Artificial Intelligence and Machine Learning},
	volume={12},
	pages={1--207},
	year={2018},
	publisher={Morgan \& Claypool Publishers}
}

@inproceedings{fisher1981lagrangian,
	title={The Lagrangian relaxation method for solving integer programming problems},
	author={Fisher, Marshall L},
	journal={Management science},
	volume={27},
	pages={1--18},
	year={1981},
	publisher={INFORMS}
}

@inproceedings{pastor2019explaining,
	title={Explaining black box models by means of local rules},
	author={Pastor, Eliana and Baralis, Elena},
	booktitle={Proceedings of the 34th ACM/SIGAPP symposium on applied computing},
	pages={510--517},
	year={2019}
}

@inproceedings{rajapaksha2020lormika,
	title={{LoRMIkA}: Local rule-based model interpretability with {K}-optimal associations},
	author={Rajapaksha, Dilini and Bergmeir, Christoph and Buntine, Wray},
	journal={Information Sciences},
	volume={540},
	pages={221--241},
	year={2020},
	publisher={Elsevier}
}

@inproceedings{guidotti2018local,
	title={Local rule-based explanations of black box decision systems},
	author={Guidotti, Riccardo and Monreale, Anna and Ruggieri, Salvatore and Pedreschi, Dino and Turini, Franco and Giannotti, Fosca},
	journal={arXiv preprint arXiv:1805.10820},
	year={2018}
}

@article{vig2020investigating,
	title={Investigating gender bias in language models using causal mediation analysis},
	author={Vig, Jesse and Gehrmann, Sebastian and Belinkov, Yonatan and Qian, Sharon and Nevo, Daniel and Singer, Yaron and Shieber, Stuart},
	journal={Advances in neural information processing systems},
	volume={33},
	pages={12388--12401},
	year={2020}
}

@article{nadeem2020stereoset,
	title={StereoSet: Measuring stereotypical bias in pretrained language models},
	author={Nadeem, Moin and Bethke, Anna and Reddy, Siva},
	journal={arXiv preprint arXiv:2004.09456},
	year={2020}
}

@inproceedings{abid2021persistent,
	title={Persistent anti-muslim bias in large language models},
	author={Abid, Abubakar and Farooqi, Maheen and Zou, James},
	booktitle={Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society},
	pages={298--306},
	year={2021}
}

@inproceedings{zilke2016deepred,
	title={Deepred--rule extraction from deep neural networks},
	author={Zilke, Jan Ruben and Menc{\'\i}a, Eneldo Loza and Janssen, Frederik},
	booktitle={International Conference on Discovery Science},
	pages={457--473},
	year={2016},
	organization={Springer}
}

@inproceedings{ribeiro2018anchors,
	title={Anchors: High-precision model-agnostic explanations},
	author={Ribeiro, Marco Tulio and Singh, Sameer and Guestrin, Carlos},
	booktitle={Proceedings of the AAAI conference on artificial intelligence},
	volume={32},
	year={2018}
}

@inproceedings{setiono1995understanding,
	title={Understanding neural networks via rule extraction},
	author={Setiono, Rudy and Liu, Huan},
	booktitle={IJCAI},
	volume={1},
	pages={480--485},
	year={1995},
	organization={Citeseer}
}

@inproceedings{sato2001rule,
	title={Rule extraction from neural networks via decision tree induction},
	author={Sato, Makoto and Tsukimoto, Hiroshi},
	booktitle={IJCNN'01. International Joint Conference on Neural Networks. Proceedings (Cat. No. 01CH37222)},
	volume={3},
	pages={1870--1875},
	year={2001},
	organization={IEEE}
}

@inproceedings{augasta2012rule,
	title={Rule extraction from neural networks—A comparative study},
	author={Augasta, M Gethsiyal and Kathirvalavakumar, T},
	booktitle={International Conference on Pattern Recognition, Informatics and Medical Engineering (PRIME-2012)},
	pages={404--408},
	year={2012},
	organization={IEEE}
}

@inproceedings{zhou2004rule,
	title={Rule extraction: Using neural networks or for neural networks?},
	author={Zhou, Zhi-Hua},
	journal={Journal of Computer Science and Technology},
	volume={19},
	pages={249--253},
	year={2004},
	publisher={Springer}
}

@inproceedings{barakat2005eclectic,
	title={Eclectic rule-extraction from support vector machines},
	author={Barakat, Nahla and Diederich, Joachim},
	journal={International Journal of Computational Intelligence},
	volume={2},
	pages={59--62},
	year={2005},
	publisher={Citeseer}
}

@inproceedings{barakat2004learning,
	title={Learning-based rule-extraction from support vector machines},
	author={Barakat, Nahla and Diederich, Joachim},
	year={2004},
	publisher={not found}
}

@incollection{diederich2008rule,
	title={Rule extraction from support vector machines: An introduction},
	author={Diederich, Joachim},
	booktitle={Rule extraction from support vector machines},
	pages={3--31},
	year={2008},
	publisher={Springer}
}

@inproceedings{nunez2002rule,
	title={Rule extraction from support vector machines.},
	author={N{\'u}{\~n}ez, Haydemar and Angulo, Cecilio and Catal{\`a}, Andreu},
	booktitle={Esann},
	pages={107--112},
	year={2002}
}

@inproceedings{hailesilassie2016rule,
	title={Rule extraction algorithm for deep neural networks: A review},
	author={Hailesilassie, Tameru},
	journal={arXiv preprint arXiv:1610.05267},
	year={2016}
}

@inproceedings{martens2008rule,
	title={Rule extraction from support vector machines: an overview of issues and application in credit scoring},
	author={Martens, David and Huysmans, Johan and Setiono, Rudy and Vanthienen, Jan and Baesens, Bart},
	journal={Rule extraction from support vector machines},
	pages={33--63},
	year={2008},
	publisher={Springer}
}

@incollection{lemarechal2001lagrangian,
	title={Lagrangian relaxation},
	author={Lemar{\'e}chal, Claude},
	booktitle={Computational combinatorial optimization},
	pages={112--156},
	year={2001},
	publisher={Springer}
}

@inproceedings{johnson2007lagrangian,
	title={Lagrangian relaxation for {MAP} estimation in graphical models},
	author={Johnson, Jason K and Malioutov, Dmitry M and Willsky, Alan S},
	journal={arXiv preprint arXiv:0710.0013},
	year={2007}
}

@inproceedings{konevcny2016federated,
	title={Federated optimization: Distributed machine learning for on-device intelligence},
	author={Kone{\v{c}}n{\`y}, Jakub and McMahan, H Brendan and Ramage, Daniel and Richt{\'a}rik, Peter},
	journal={arXiv preprint arXiv:1610.02527},
	year={2016}
}


@inproceedings{konevcny2015federated,
	title={Federated optimization: Distributed optimization beyond the datacenter},
	author={Kone{\v{c}}n{\`y}, Jakub and McMahan, Brendan and Ramage, Daniel},
	journal={arXiv preprint arXiv:1511.03575},
	year={2015}
}

@inproceedings{masters2018revisiting,
	title={Revisiting small batch training for deep neural networks},
	author={Masters, Dominic and Luschi, Carlo},
	journal={arXiv preprint arXiv:1804.07612},
	year={2018}
}

@inproceedings{li2014efficient,
	title={Efficient mini-batch training for stochastic optimization},
	author={Li, Mu and Zhang, Tong and Chen, Yuqiang and Smola, Alexander J},
	booktitle={Proceedings of the 20th ACM SIGKDD international conference on Knowledge discovery and data mining},
	pages={661--670},
	year={2014}
}


@inproceedings{hinton2012neural,
	title={Neural networks for machine learning lecture 6a overview of mini-batch gradient descent},
	author={Hinton, Geoffrey and Srivastava, Nitish and Swersky, Kevin},
	journal={},
	volume={14},
	pages={2},
	year={2012}
}

@inproceedings{furnkranz1999separate,
	title={Separate-and-conquer rule learning},
	author={F{\"u}rnkranz, Johannes},
	journal={Artificial Intelligence Review},
	volume={13},
	pages={3--54},
	year={1999},
	publisher={Springer}
}

@inproceedings{balyo2017sat,
	title={{SAT} competition 2016: Recent developments},
	author={Balyo, Tom{\'a}s and Heule, Marijn and Jarvisalo, Matti},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={31},
	year={2017}
}


@inproceedings{argelich2008first,
	title={The first and second {Max-SAT} evaluations},
	author={Argelich, Josep and Li, Chu-Min and Manya, Felip and Planes, Jordi},
	journal={Journal on Satisfiability, Boolean Modeling and Computation},
	volume={4},
	pages={251--278},
	year={2008},
	publisher={IOS Press}
}


@inproceedings{schidler2021sat,
	title={{SAT}-based Decision Tree Learning for Large Data Sets},
	author={Schidler, Andr{\'e} and Szeider, Stefan},
	booktitle={Proceedings of AAAI},
	volume={21},
	year={2021}
}

@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={27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
	year={2021},
	organization={Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik}
}


@inproceedings{janota2020sat,
	title={{SAT}-based encodings for optimal decision trees with explicit paths},
	author={Janota, Mikol{\'a}{\v{s}} and Morgado, Ant{\'o}nio},
	booktitle={International Conference on Theory and Applications of Satisfiability Testing},
	pages={501--518},
	year={2020},
	organization={Springer}
}

@incollection{silva2003grasp,
	title={{GRASP}—a new search algorithm for satisfiability},
	author={Silva, Joao P Marques and Sakallah, Karem A},
	booktitle={The Best of ICCAD},
	pages={73--89},
	year={2003},
	publisher={Springer}
}

@inproceedings{quinlan1986induction,
	title={Induction of decision trees},
	author={Quinlan, J. Ross},
	journal={Machine learning},
	volume={1},
	pages={81--106},
	year={1986},
	publisher={Springer}
}

@inproceedings{MM18,
	author={Malioutov, Dmitry and Meel, Kuldeep S.},
	title={{MLIC}: A MaxSAT-Based framework for learning interpretable classification rules},
	booktitle={Proceedings of International Conference on Constraint Programming (CP)},
	month={08},
	year={2018},}

@inproceedings{lin2012application,
	title={Application of {Max-SAT}-based {ATPG} to optimal cancer therapy design},
	author={Lin, Pey-Chang Kent and Khatri, Sunil P},
	journal={BMC genomics},
	volume={13},
	pages={1--10},
	year={2012},
	publisher={Springer}
}

@inproceedings{berg2019applications,
	title={Applications of {MaxSAT} in data analysis},
	author={Berg, Otto Jeremias and Hyttinen, Antti Juhani and J{\"a}rvisalo, Matti Juhani},
	journal={Proceedings of Pragmatics of SAT 2015 and 2018},
	year={2019},
	publisher={EasyChair Publications}
}

@inproceedings{walter2013applications,
	title={Applications of {MaxSAT} in Automotive Configuration.},
	author={Walter, Rouven and Zengler, Christoph and K{\"u}chlin, Wolfgang},
	booktitle={Configuration Workshop},
	volume={1},
	pages={21},
	year={2013},
	organization={Citeseer}
}

@inproceedings{robinson2010partial,
	title={Partial weighted {MaxSAT} for optimal planning},
	author={Robinson, Nathan and Gretton, Charles and Pham, Duc Nghia and Sattar, Abdul},
	booktitle={Pacific rim international conference on artificial intelligence},
	pages={231--243},
	year={2010},
	organization={Springer}
}

@inproceedings{OpenML2013,
	author = {Vanschoren, Joaquin and van Rijn, Jan N. and Bischl, Bernd and Torgo, Luis},
	title = {{OpenML}: Networked Science in Machine Learning},
	journal = {SIGKDD Explorations},
	volume = {15},
	year = {2013},
	pages = {49--60},
	url = {http://doi.acm.org/10.1145/2641190.2641198},
	doi = {10.1145/2641190.2641198},
	publisher = {ACM},
	address = {New York, NY, USA},
}

@inproceedings{izza2020explaining,
	title={On explaining decision trees},
	author={Izza, Yacine and Ignatiev, Alexey and Marques-Silva, Joao},
	journal={arXiv preprint arXiv:2010.11034},
	year={2020}
}

@inproceedings{ClarkN1989,
	author               = {P. Clark and T. Niblett},
	journal              = {Mach. Learn.},
	month                = {Mar.},
	number               = {},
	pages                = {},
	title                = {The {CN2} Induction Algorithm},
	volume               = {},
	year                 = {1989},
}



@inproceedings{agarap2018breast,
	title={On breast cancer detection: an application of machine learning algorithms on the wisconsin diagnostic dataset},
	author={Agarap, Abien Fred M},
	booktitle={Proceedings of the 2nd international conference on machine learning and soft computing},
	pages={5--9},
	year={2018}
}


@inproceedings{ralaivola2001incremental,
	title={Incremental support vector machine learning: A local approach},
	author={Ralaivola, Liva and d’Alch{\'e}-Buc, Florence},
	booktitle={Proc. of ICANN},
	pages={},
	year={2001},
	organization={}
}


@inproceedings{syed1999incremental,
	title={Incremental learning with support vector machines},
	author={Syed, Nadeem Ahmed and Huan, Syed and Kah, Liu and Sung, Kay},
	year={1999},
	publisher={Citeseer}
}

@inproceedings{cauwenberghs2001incremental,
	title={Incremental and decremental support vector machine learning},
	author={Cauwenberghs, Gert and Poggio, Tomaso},
	booktitle={Proc. of NIPS},
	pages={},
	year={2001}
}


@inproceedings{ruping2001incremental,
	title={Incremental learning with support vector machines},
	author={Ruping, Stefan},
	booktitle={Proc. of ICDM},
	pages={},
	year={2001},
	organization={}
}


@inproceedings{alos2021learning,
	title={Learning Optimal Decision Trees Using {MaxSAT}},
	author={Alos, Josep and Ansotegui, Carlos and Torres, Eduard},
	journal={arXiv preprint arXiv:2110.13854},
	year={2021}
}


@inproceedings{ignatiev2021scalable,
	title={A Scalable Two Stage Approach to Computing Optimal Decision Sets},
	author={Ignatiev, Alexey and Lam, Edward and Stuckey, Peter J and Marques-Silva, Joao},
	journal={arXiv preprint arXiv:2102.01904},
	year={2021}
}


@inproceedings{yu2020optimal,
	title={Optimal decision lists using {SAT}},
	author={Yu, Jinqiang and Ignatiev, Alexey and Bodic, Pierre Le and Stuckey, Peter J},
	journal={arXiv preprint arXiv:2010.09919},
	year={2020}
}


@inproceedings{wang2015falling,
	title={Falling rule lists},
	author={Wang, Fulton and Rudin, Cynthia},
	booktitle={Artificial Intelligence and Statistics},
	pages={1013--1022},
	year={2015},
	organization={PMLR}
}

@inproceedings{letham2015interpretable,
	title={Interpretable classifiers using rules and {Bayesian} analysis: Building a better stroke prediction model},
	author={Letham, Benjamin and Rudin, Cynthia and McCormick, Tyler H and Madigan, David},
	journal={The Annals of Applied Statistics},
	volume={9},
	pages={1350--1371},
	year={2015},
	publisher={Institute of Mathematical Statistics}
}



@inproceedings{rudin2019stop,
	title={Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead},
	author={Rudin, Cynthia},
	journal={Nature Machine Intelligence},
	volume={1},
	pages={206--215},
	year={2019},
	publisher={Nature Publishing Group}
}

@inproceedings{holstein2019improving,
	title={Improving fairness in machine learning systems: What do industry practitioners need?},
	author={Holstein, Kenneth and Wortman Vaughan, Jennifer and Daum{\'e} III, Hal and Dudik, Miro and Wallach, Hanna},
	booktitle={Proceedings of the 2019 CHI conference on human factors in computing systems},
	pages={1--16},
	year={2019}
}

@inproceedings{mehrabi2021survey,
	title={A survey on bias and fairness in machine learning},
	author={Mehrabi, Ninareh and Morstatter, Fred and Saxena, Nripsuta and Lerman, Kristina and Galstyan, Aram},
	journal={ACM Computing Surveys (CSUR)},
	volume={54},
	pages={1--35},
	year={2021},
	publisher={ACM New York, NY, USA}
}

@inproceedings{hancox2020robustness,
	title={Robustness in machine learning explanations: does it matter?},
	author={Hancox-Li, Leif},
	booktitle={Proceedings of the 2020 conference on fairness, accountability, and transparency},
	pages={640--647},
	year={2020}
}

@inproceedings{su2016learning,
	title={Learning sparse two-level {Boolean} rules},
	author={Su, Guolong and Wei, Dennis and Varshney, Kush R and Malioutov, Dmitry M},
	booktitle={2016 IEEE 26th International Workshop on Machine Learning for Signal Processing (MLSP)},
	pages={1--6},
	year={2016},
	organization={IEEE}
}

@inproceedings{bhagoji2018enhancing,
	title={Enhancing robustness of machine learning systems via data transformations},
	author={Bhagoji, Arjun Nitin and Cullina, Daniel and Sitawarin, Chawin and Mittal, Prateek},
	booktitle={2018 52nd Annual Conference on Information Sciences and Systems (CISS)},
	pages={1--5},
	year={2018},
	organization={IEEE}
}

@inproceedings{murdoch2019interpretable,
	title={Interpretable machine learning: definitions, methods, and applications},
	author={Murdoch, W James and Singh, Chandan and Kumbier, Karl and Abbasi-Asl, Reza and Yu, Bin},
	journal={arXiv preprint arXiv:1901.04592},
	year={2019}
}

@inproceedings{doshi2017towards,
	title={Towards a rigorous science of interpretable machine learning},
	author={Doshi-Velez, Finale and Kim, Been},
	journal={arXiv preprint arXiv:1702.08608},
	year={2017}
}

@inproceedings{du2019techniques,
	title={Techniques for interpretable machine learning},
	author={Du, Mengnan and Liu, Ninghao and Hu, Xia},
	journal={Communications of the ACM},
	volume={63},
	pages={68--77},
	year={2019},
	publisher={ACM New York, NY, USA}
}

@book{molnar2020interpretable,
	title={Interpretable machine learning},
	author={Molnar, Christoph},
	year={2020},
	publisher={Lulu. com}
}

@incollection{peled2019model,
	title={Model-based machine learning for transportation},
	author={Peled, Inon and Rodrigues, Filipe and Pereira, Francisco C{\^a}mara},
	booktitle={Mobility patterns, big data and transport analytics},
	pages={145--171},
	year={2019},
	publisher={Elsevier}
}

@inproceedings{zantalis2019review,
	title={A review of machine learning and {IoT} in smart transportation},
	author={Zantalis, Fotios and Koulouras, Grigorios and Karabetsos, Sotiris and Kandris, Dionisis},
	journal={Future Internet},
	volume={11},
	pages={94},
	year={2019},
	publisher={Multidisciplinary Digital Publishing Institute}
}

@inproceedings{kumar2018law,
	title={Law and Adversarial Machine Learning},
	author={Kumar, Ram Shankar Siva and O'Brien, David R and Albert, Kendra and Vilojen, Salome},
	journal={arXiv preprint arXiv:1810.10731},
	year={2018}
}

@inproceedings{surden2014machine,
	title={Machine learning and law},
	author={Surden, Harry},
	journal={Wash. L. Rev.},
	volume={89},
	pages={87},
	year={2014},
	publisher={HeinOnline}
}

@inproceedings{kaissis2020secure,
	title={Secure, privacy-preserving and federated machine learning in medical imaging},
	author={Kaissis, Georgios A and Makowski, Marcus R and R{\"u}ckert, Daniel and Braren, Rickmer F},
	journal={Nature Machine Intelligence},
	volume={2},
	pages={305--311},
	year={2020},
	publisher={Nature Publishing Group}
}


@inproceedings{kononenko2001machine,
	title={Machine learning for medical diagnosis: history, state of the art and perspective},
	author={Kononenko, Igor},
	journal={Artificial Intelligence in medicine},
	volume={23},
	pages={89--109},
	year={2001},
	publisher={Elsevier}
}


@inproceedings{erickson2017machine,
	title={Machine learning for medical imaging},
	author={Erickson, Bradley J and Korfiatis, Panagiotis and Akkus, Zeynettin and Kline, Timothy L},
	journal={Radiographics},
	volume={37},
	pages={505--515},
	year={2017},
	publisher={Radiological Society of North America}
}

@inproceedings{lundberg2017unified,
	title={A unified approach to interpreting model predictions},
	author={Lundberg, Scott M and Lee, Su-In},
	booktitle={Proceedings of the 31st international conference on neural information processing systems},
	pages={4768--4777},
	year={2017}
}


@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={Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining},
	pages={1135--1144},
	year={2016}
}

@inproceedings{slack2020fooling,
	title={Fooling {LIME} and {SHAP}: Adversarial attacks on post hoc explanation methods},
	author={Slack, Dylan and Hilgard, Sophie and Jia, Emily and Singh, Sameer and Lakkaraju, Himabindu},
	booktitle={Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society},
	pages={180--186},
	year={2020}
}

@inproceedings{gill2020responsible,
	title={A Responsible Machine Learning Workflow with Focus on Interpretable Models, Post-hoc Explanation, and Discrimination Testing},
	author={Gill, Navdeep and Hall, Patrick and Montgomery, Kim and Schmidt, Nicholas},
	journal={Information},
	volume={11},
	pages={137},
	year={2020},
	publisher={Multidisciplinary Digital Publishing Institute}
}

@inproceedings{moradi2021post,
	title={Post-hoc explanation of black-box classifiers using confident itemsets},
	author={Moradi, Milad and Samwald, Matthias},
	journal={Expert Systems with Applications},
	volume={165},
	pages={113941},
	year={2021},
	publisher={Elsevier}
}

@inproceedings{lakkaraju2016interpretable,
	title={Interpretable decision sets: A joint framework for description and prediction},
	author={Lakkaraju, Himabindu and Bach, Stephen H and Leskovec, Jure},
	booktitle={Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining},
	pages={1675--1684},
	year={2016}
}




@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={International Joint Conference on Artificial Intelligence (IJCAI)},
	year={2021}
}


@inproceedings{lakkaraju2017interpretable,
	title={Interpretable \& explorable approximations of black box models},
	author={Lakkaraju, Himabindu and Kamar, Ece and Caruana, Rich and Leskovec, Jure},
	journal={arXiv preprint arXiv:1707.01154},
	year={2017}
}
@inproceedings{rivest1987learning,
	title={Learning decision lists},
	author={Rivest, Ronald L},
	journal={Machine learning},
	volume={2},
	pages={229--246},
	year={1987},
	publisher={Springer}
}

@inproceedings{angelino2017certifiably,
	title={Certifiably optimal rule lists for categorical data},
	author={Angelino, Elaine and Larus-Stone, Nicholas and Alabi, Daniel and Seltzer, Margo and Rudin, Cynthia},
	booktitle={Proceedings of the 23rd ACM SIGKDD Conference of Knowledge, Discovery, and Data Mining (KDD)},
	year={2017},
	journal={Machine learning},
	volume={2},
	pages={229--246},
	year={1987},
	publisher={Springer}
	}



@incollection{cohen1995fast,
	title={Fast effective rule induction},
	author={Cohen, William W},
	booktitle={Machine learning proceedings 1995},
	pages={115--123},
	year={1995},
	publisher={Elsevier}
}


@misc{Dua:2019 ,
	author = "Dua, Dheeru and Graff, Casey",
	year = "2017",
	title = "{UCI} Machine Learning Repository",
	url = "http://archive.ics.uci.edu/ml",
	institution = "University of California, Irvine, School of Information and Computer Sciences" }




@inproceedings{martins2014open,
	title={{Open-WBO}: A modular {MaxSAT} solver},
	author={Martins, Ruben and Manquinho, Vasco and Lynce, In{\^e}s},
	booktitle={International Conference on Theory and Applications of Satisfiability Testing},
	pages={438--445},
	year={2014},
	organization={Springer}
}

@inproceedings{lakkaraju2019faithful,
	title={Faithful and Customizable Explanations of Black Box Models},
	author={Lakkaraju, Himabindu and Kamar, Ece and Caruana, Rich and Leskovec, Jure},
	booktitle={Proc. of AIES},
	year={2019},
}


@inproceedings{quinlan1987simplifying,
	title={Simplifying decision trees},
	author={Quinlan, J. Ross},
	journal={International journal of man-machine studies},
	volume={27},
	pages={221--234},
	year={1987},
	publisher={Elsevier}
}






@inproceedings{malioutov2013exact,
	title={Exact rule learning via Boolean compressed sensing},
	author={Malioutov, Dmitry and Varshney, Kush},
	booktitle={International Conference on Machine Learning},
	pages={765--773},
	year={2013},
	organization={PMLR}
}


@inproceedings{bessiere2009minimising,
	title={Minimising decision tree size as combinatorial optimisation},
	author={Bessiere, Christian and Hebrard, Emmanuel and O’Sullivan, Barry},
	booktitle={International Conference on Principles and Practice of Constraint Programming},
	pages={173--187},
	year={2009},
	organization={Springer}
}


@inproceedings{myers1962myers,
	title={The {Myers-Briggs} Type Indicator: Manual (1962).},
	author={Myers, Isabel Briggs},
	year={1962},
	publisher={Consulting Psychologists Press}
}







@inproceedings{wang2017bayesian,
	title={A {Bayesian} framework for learning rule sets for interpretable classification},
	author={Wang, Tong and Rudin, Cynthia and Doshi-Velez, Finale and Liu, Yimin and Klampfl, Erica and MacNeille, Perry},
	journal={The Journal of Machine Learning Research},
	volume={18},
	pages={2357--2393},
	year={2017},
	publisher={JMLR. org}
}

@inproceedings{CohenS1999,
	address              = {Orlando, FL},
	author               = {W. W. Cohen and Y. Singer},
	booktitle            = {Proc. of AAAI},
	month                = {Jul.},
	pages                = {},
	title                = {A Simple, Fast, and Effective Rule Learner},
	year                 = {1999},
}

@inproceedings{quinlan2014,
	author               = {Quinlan, J Ross},
	journal              = {Morgan Kauffmann},
	pages                = {},
	title                = {C4. 5: Programming for machine learning},
	year                 = {1993},
}



@book{schumaker2007spline,
	title={Spline functions: basic theory},
	author={Schumaker, Larry},
	year={2007},
	publisher={Cambridge University Press}
}

@article{scikit-learn,
	title={Scikit-learn: Machine Learning in {P}ython},
	author={Pedregosa, F. and Varoquaux, G. and Gramfort, A. and Michel, V.
	and Thirion, B. and Grisel, O. and Blondel, M. and Prettenhofer, P.
	and Weiss, R. and Dubourg, V. and Vanderplas, J. and Passos, A. and
	Cournapeau, D. and Brucher, M. and Perrot, M. and Duchesnay, E.},
	journal={Journal of Machine Learning Research},
	volume={12},
	pages={2825--2830},
	year={2011}
}


@incollection{loader2012smoothing,
	title={Smoothing: local regression techniques},
	author={Loader, Catherine},
	booktitle={Handbook of computational statistics},
	pages={571--596},
	year={2012},
	publisher={Springer}
}

@book{loader2006local,
	title={Local regression and likelihood},
	author={Loader, Clive},
	year={2006},
	publisher={Springer Science \& Business Media}
}

@misc{saltelli2020five,
	title={Five ways to ensure that models serve society: a manifesto},
	author={Saltelli, Andrea and Bammer, Gabriele and Bruno, Isabelle and Charters, Erica and Di Fiore, Monica and Didier, Emmanuel and Nelson Espeland, Wendy and Kay, John and Lo Piano, Samuele and Mayo, Deborah and others},
	year={2020},
	publisher={Nature Publishing Group}
}


@techreport{de1971subroutine,
	title={SUBROUTINE PACKAGE FOR CALCULATING WITH B-SPLINES.},
	author={de Boor, Carl},
	year={1971},
	institution={Los Alamos National Lab.(LANL), Los Alamos, NM (United States)}
}



@Report{eu,
	Title                    = {Better regulation toolbox},
	Author                   = {{European Commission}},
	Date                     = {25/11/2021},
	Year                     = {2021},
	Location                 = {Brussels, Belgium},
}

@Report{usepa,
	Title                    = {Guidance on the Development, Evaluation, and Application of
	Environmental Models},
	Author                   = {{Office of the Science Advisor, Council for Regulatory Environmental Modeling}},
	Date                     = {March 2009},
	Institution              = {U.S. Environmental Protection Agency},
	Year                     = {2009},
	Location                 = {Washington, USA},
	note = {\url{https://web.archive.org/web/20110426180258/http://www.epa.gov/CREM/library/cred_guidance_0309.pdf}}
}

@book{saltelli2008global,
	title={Global sensitivity analysis: the primer},
	author={Saltelli, Andrea and Ratto, Marco and Andres, Terry and Campolongo, Francesca and Cariboni, Jessica and Gatelli, Debora and Saisana, Michaela and Tarantola, Stefano},
	year={2008},
	publisher={John Wiley \& Sons}
}

@article{sobol1990sensitivity,
	title={On sensitivity estimation for nonlinear mathematical models},
	author={Sobol', Il'ya M},
	journal={Matematicheskoe modelirovanie},
	volume={2},
	number={1},
	pages={112--118},
	year={1990},
	publisher={Russian Academy of Sciences, Branch of Mathematical Sciences}
}

@article{sobol1993sensitivity,
	title={Sensitivity estimates for nonlinear mathematical models},
	author={Sobol', IM},
	journal={Math. Model. Comput. Exp.(Engl. Transl.)},
	volume={1},
	pages={407--414},
	year={1993}
}

@article{sobol2001global,
	title={Global sensitivity indices for nonlinear mathematical models and their {Monte Carlo} estimates},
	author={Sobol', Il'ya M},
	journal={Mathematics and computers in simulation},
	volume={55},
	number={1-3},
	pages={271--280},
	year={2001},
	publisher={Elsevier}
}

@inproceedings{ignatiev2018sat,
	title={A SAT-based approach to learn explainable decision sets},
	author={Ignatiev, Alexey and Pereira, Filipe and Narodytska, Nina and Marques-Silva, Joao},
	booktitle={International Joint Conference on Automated Reasoning},
	pages={627--645},
	year={2018},
	organization={Springer}
}

@article{Herman2017,
	doi = {10.21105/joss.00097},
	url = {https://doi.org/10.21105/joss.00097},
	year  = {2017},
	month = {jan},
	publisher = {The Open Journal},
	volume = {2},
	number = {9},
	author = {Jon Herman and Will Usher},
	title = {{SALib}: An open-source Python library for Sensitivity Analysis},
	journal = {The Journal of Open Source Software}
}


@inproceedings{ghosh2022algorithmic,
	author={Ghosh, Bishwamittra and Basu, Debabrota and Meel, Kuldeep S.},
	title={Algorithmic Fairness Verification with Graphical Models},
	booktitle={Proceedings of AAAI},
	month={2},
	year={2022}}


@article{li2010global,
	title={Global sensitivity analysis for systems with independent and/or correlated inputs},
	author={Li, Genyuan and Rabitz, Herschel and Yelvington, Paul E and Oluwole, Oluwayemisi O and Bacon, Fred and Kolb, Charles E and Schoendorf, Jacqueline},
	journal={The journal of physical chemistry A},
	volume={114},
	number={19},
	pages={6022--6032},
	year={2010},
	publisher={ACS Publications}
}



@article{begley2020explainability,
	title={Explainability for fair machine learning},
	author={Begley, Tom and Schwedes, Tobias and Frye, Christopher and Feige, Ilya},
	journal={arXiv preprint arXiv:2010.07389},
	year={2020}
}




@incollection{hnich2011survey,
	title={A survey on CP-AI-OR hybrids for decision making under uncertainty},
	author={Hnich, Brahim and Rossi, Roberto and Tarim, S Armagan and Prestwich, Steven},
	booktitle={Hybrid Optimization},
	pages={227--270},
	year={2011},
	publisher={Springer}
}




@inproceedings{pan2021explaining,
	title={Explaining algorithmic fairness through fairness-aware causal path decomposition},
	author={Pan, Weishen and Cui, Sen and Bian, Jiang and Zhang, Changshui and Wang, Fei},
	booktitle={Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery \& Data Mining},
	pages={1287--1297},
	year={2021}
}


@inproceedings{wu2019counterfactual,
	title={Counterfactual Fairness: Unidentification, Bound and Algorithm.},
	author={Wu, Yongkai and Zhang, Lu and Wu, Xintao},
	booktitle={IJCAI},
	pages={1438--1444},
	year={2019}
}

@inproceedings{xu2019achieving,
	title={Achieving differential privacy and fairness in logistic regression},
	author={Xu, Depeng and Yuan, Shuhan and Wu, Xintao},
	booktitle={Companion Proceedings of The 2019 World Wide Web Conference},
	pages={594--599},
	year={2019}
}




@inproceedings{chiappa2019path,
	title={Path-specific counterfactual fairness},
	author={Chiappa, Silvia},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={33},
	pages={7801--7808},
	year={2019}
}



@inproceedings{friedler2019comparative,
	title={A comparative study of fairness-enhancing interventions in machine learning},
	author={Friedler, Sorelle A and Scheidegger, Carlos and Venkatasubramanian, Suresh and Choudhary, Sonam and Hamilton, Evan P and Roth, Derek},
	booktitle={Proceedings of the conference on fairness, accountability, and transparency},
	pages={329--338},
	year={2019}
}



@article{pearl2011bayesian,
	title={Bayesian networks},
	author={Pearl, Judea},
	year={2011}
}

@article{pisinger1999linear,
	title={Linear time algorithms for knapsack problems with bounded weights},
	author={Pisinger, David},
	journal={Journal of Algorithms},
	volume={33},
	number={1},
	pages={1--14},
	year={1999},
	publisher={Elsevier}
}


@inproceedings{ghosh2020justicia,
	author={Ghosh, Bishwamittra and Basu, Debabrota and Meel, Kuldeep S.},
	title={Justicia: A Stochastic {SAT} Approach to Formally Verify Fairness},
	booktitle={Proceedings of AAAI},
	month={2},
	year={2021},
}




@article{barocas2017fairness,
	title={Fairness in machine learning},
	author={Barocas, Solon and Hardt, Moritz and Narayanan, Arvind},
	journal={NIPS Tutorial},
	volume={1},
	year={2017}
}




@article{triantaphyllou1994inference,
	title={Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach},
	author={Triantaphyllou, Evangelos},
	journal={Journal of Global Optimization},
	volume={5},
	number={1},
	pages={69--94},
	year={1994},
	publisher={Springer}
}

@inproceedings{ignatiev2019abduction,
	title={Abduction-based explanations for machine learning models},
	author={Ignatiev, Alexey and Narodytska, Nina and Marques-Silva, Joao},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={33},
	pages={1511--1519},
	year={2019}
}


@inproceedings{neider2018learning,
	title={Learning linear temporal properties},
	author={Neider, Daniel and Gavran, Ivan},
	booktitle={2018 Formal Methods in Computer Aided Design (FMCAD)},
	pages={1--10},
	year={2018},
	organization={IEEE}
}


@article{kamath1992continuous,
	title={A continuous approach to inductive inference},
	author={Kamath, Anil P and Karmarkar, Narendra K and Ramakrishnan, KG and Resende, Mauricio GC},
	journal={Mathematical programming},
	volume={57},
	number={1-3},
	pages={215--238},
	year={1992},
	publisher={Springer}
}




@article{hua2021human,
	title={Human Imperceptible Attacks and Applications to Improve Fairness},
	author={Hua, Xinru and Xu, Huanzhong and Blanchet, Jose and Nguyen, Viet},
	journal={arXiv preprint arXiv:2111.15603},
	year={2021}
}

@article{mehrabi2020exacerbating,
	title={Exacerbating algorithmic bias through fairness attacks},
	author={Mehrabi, Ninareh and Naveed, Muhammad and Morstatter, Fred and Galstyan, Aram},
	journal={arXiv preprint arXiv:2012.08723},
	year={2020}
}

@inproceedings{garg2020fairness,
	title={Fairness metrics: A comparative analysis},
	author={Garg, Pratyush and Villasenor, John and Foggo, Virginia},
	booktitle={2020 IEEE International Conference on Big Data (Big Data)},
	pages={3662--3666},
	year={2020},
	organization={IEEE}
}

@article{besse2021survey,
	title={A survey of bias in machine learning through the prism of statistical parity},
	author={Besse, Philippe and del Barrio, Eustasio and Gordaliza, Paula and Loubes, Jean-Michel and Risser, Laurent},
	journal={The American Statistician},
	pages={1--11},
	year={2021},
	publisher={Taylor \& Francis}
}



@phdthesis{vondrak2005probabilistic,
	title={Probabilistic methods in combinatorial and stochastic optimization},
	author={Vondr{\'a}k, Jan},
	year={2005},
	school={Massachusetts Institute of Technology}
}


@article{dean2008approximating,
	title={Approximating the stochastic knapsack problem: The benefit of adaptivity},
	author={Dean, Brian C and Goemans, Michel X and Vondr{\'a}k, Jan},
	journal={Mathematics of Operations Research},
	volume={33},
	number={4},
	pages={945--964},
	year={2008},
	publisher={INFORMS}
}





@article{ehrenfeucht1989general,
	title={A general lower bound on the number of examples needed for learning},
	author={Ehrenfeucht, Andrzej and Haussler, David and Kearns, Michael and Valiant, Leslie},
	journal={Information and Computation},
	volume={82},
	number={3},
	pages={247--261},
	year={1989},
	publisher={Elsevier}
}

@article{littlestone1988learning,
	title={Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm},
	author={Littlestone, Nick},
	journal={Machine learning},
	volume={2},
	number={4},
	pages={285--318},
	year={1988},
	publisher={Springer}
}

@article{GWSBRR2001,
	title={Validation of clinical classification schemes for predicting stroke: results from the National Registry of Atrial Fibrillation},
	author={Gage, Brian F and Waterman, Amy D and Shannon, William and Boechler, Michael and Rich, Michael W and Radford, Martha J},
	journal={Jama},
	volume={285},
	number={22},
	pages={2864--2870},
	year={2001},
	publisher={American Medical Association}
}



@article{steinke2014pblib,
	title={PBLib—A C++ Toolkit for Encoding Pseudo--Boolean Constraints into CNF},
	author={Steinke, Peter and Manthey, Norbert},
	journal={TU Dresden, Dresden, Germany, Technical Report},
	volume={1},
	pages={2014},
	year={2014}
}


@inproceedings{buolamwini2018gender,
	title={Gender shades: Intersectional accuracy disparities in commercial gender classification},
	author={Buolamwini, Joy and Gebru, Timnit},
	booktitle={Conference on fairness, accountability and transparency},
	pages={77--91},
	year={2018},
	organization={PMLR}
}


@article{gajane2017formalizing,
	title={On formalizing fairness in prediction with machine learning},
	author={Gajane, Pratik and Pechenizkiy, Mykola},
	journal={arXiv preprint arXiv:1710.03184},
	year={2017}
}




@article{LRMM2015,
	title={Interpretable classifiers using rules and bayesian analysis: Building a better stroke prediction model},
	author={Letham, Benjamin and Rudin, Cynthia and McCormick, Tyler H and Madigan, David and others},
	journal={The Annals of Applied Statistics},
	volume={9},
	number={3},
	pages={1350--1371},
	year={2015},
	publisher={Institute of Mathematical Statistics}
}


@article{SWVM2015,
	title={Interpretable two-level boolean rule learning for classification},
	author={Su, Guolong and Wei, Dennis and Varshney, Kush R and Malioutov, Dmitry M},
	journal={arXiv preprint arXiv:1511.07361},
	year={2015}
}





@inproceedings{NIPMR2018,
	title={Learning Optimal Decision Trees with SAT.},
	author={Narodytska, Nina and Ignatiev, Alexey and Pereira, Filipe and Marques-Silva, Joao and RAS, IS},
	booktitle={IJCAI},
	pages={1362--1368},
	year={2018}
}


@incollection{GDX2018,
	title = {Learning Small Predictors},
	author = {Garg, Vikas and Dekel, Ofer and Xiao, Lin},
	pages = {},
	booktitle = {Advances in Neural Information Processing Systems},
	year = {2018},
}



@article{benesse2021fairness,
	title={Fairness seen as Global Sensitivity Analysis},
	author={B{\'e}nesse, Cl{\'e}ment and Gamboa, Fabrice and Loubes, Jean-Michel and Boissin, Thibaut},
	journal={arXiv preprint arXiv:2103.04613},
	year={2021}
}

@inproceedings{sundararajan2020shapley,
	title={The shapley taylor interaction index},
	author={Sundararajan, Mukund and Dhamdhere, Kedar and Agarwal, Ashish},
	booktitle={International conference on machine learning},
	pages={9259--9268},
	year={2020},
	organization={PMLR}
}


@inproceedings{lundberg2020explaining,
	title={Explaining Quantitative Measures of Fairness},
	author={Lundberg, Scott M},
	booktitle={Fair \& Responsible AI Workshop@ CHI2020},
	year={2020}
}



@inproceedings{BHO2009,
	title={Minimising decision tree size as combinatorial optimisation},
	author={Bessiere, Christian and Hebrard, Emmanuel and O’Sullivan, Barry},
	booktitle={International Conference on Principles and Practice of Constraint Programming},
	pages={173--187},
	year={2009},
	organization={Springer}
}

@book{Q2014,
	title={C4. 5: programs for machine learning},
	author={Quinlan, J Ross},
	year={2014},
	publisher={Elsevier}
}

@article{R1987,
	title={Learning decision lists},
	author={Rivest, Ronald L},
	journal={Machine learning},
	volume={2},
	number={3},
	pages={229--246},
	year={1987},
	publisher={Springer}
}



@article{emadlearning,
	title={Learning Interpretable Clinical Prediction Rules using Threshold Group Testing},
	author={Emad, Amin and Varshney, Kush R and Malioutov, Dmitry M}
}

@inproceedings{dash2014screening,
	title={Screening for learning classification rules via Boolean compressed sensing},
	author={Dash, Sanjeeb and Malioutov, Dmitry M and Varshney, Kush R},
	booktitle={2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
	pages={3360--3364},
	year={2014},
	organization={IEEE}
}




@inproceedings{datta2016algorithmic,
	title={Algorithmic transparency via quantitative input influence: Theory and experiments with learning systems},
	author={Datta, Anupam and Sen, Shayak and Zick, Yair},
	booktitle={2016 IEEE symposium on security and privacy (SP)},
	pages={598--617},
	year={2016},
	organization={IEEE}
}


@article{dunkelaufairness,
	title={Fairness-Aware Machine Learning},
	author={Dunkelau, Jannik and Leuschel, Michael}
}



@book{biere2009handbook,
	title={Handbook of satisfiability},
	author={Biere, Armin and Heule, Marijn and van Maaren, Hans},
	volume={185},
	year={2009},
	publisher={IOS press}
}


@article{solans2020poisoning,
	title={Poisoning attacks on algorithmic fairness},
	author={Solans, David and Biggio, Battista and Castillo, Carlos},
	journal={arXiv preprint arXiv:2004.07401},
	year={2020}
}



@inproceedings{zhang2018fairness,
	title={Fairness in decision-making—the causal explanation formula},
	author={Zhang, Junzhe and Bareinboim, Elias},
	booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
	volume={32},
	number={1},
	year={2018}
}