@misc{indiciaedadbd79ffa49,
  title = {Stabbing Planes},
  author = {Paul Beame and Noah Fleming and Russell Impagliazzo and Antonina Kolokolova and Denis Pankratov and Toniann Pitassi and Robert Robere},
  year = {2023},
  url = {https://arxiv.org/abs/1710.03219},
  note = {Source identifier: 1710.03219}
}