Towards Universally Accessible SAT Technology. - Alexey Ignatiev; Zi Li Tan; Christos Karamanos (SAT, 2024)