@misc{indiciae565cf8622eb4,
  title = {How Hard is Weak-Memory Testing?},
  author = {Soham Chakraborty and Shankaranarayanan Krishna and Umang Mathur and Andreas Pavlogiannis},
  year = {2023},
  url = {https://arxiv.org/abs/2311.04302},
  note = {Source identifier: 2311.04302}
}