SAT Feature Analysis for Machine Learning Classification Tasks

Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan. SAT Feature Analysis for Machine Learning Classification Tasks. In Roman Barták, Wheeler Ruml, Oren Salzman, editors, Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic. pages 138-142, AAAI Press, 2023. [doi]

@inproceedings{DallaPVO23,
  title = {SAT Feature Analysis for Machine Learning Classification Tasks},
  author = {Marco Dalla and Benjamin Provan-Bessell and Andrea Visentin and Barry O'Sullivan},
  year = {2023},
  doi = {10.1609/socs.v16i1.27292},
  url = {https://doi.org/10.1609/socs.v16i1.27292},
  researchr = {https://researchr.org/publication/DallaPVO23},
  cites = {0},
  citedby = {0},
  pages = {138-142},
  booktitle = {Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic},
  editor = {Roman Barták and Wheeler Ruml and Oren Salzman},
  publisher = {AAAI Press},
}