3 ms·

Thanks! The arXiv submission says the paper is submitted to SAT26, did it get accepted?

• fcholf 7mo ago
  We are still waiting for the reviews. The rebuttal phase should start soon, we'll see!