Announcement_2

July 23, 2022

2022

Our workshop paper on Shortest DRAT proof of the Pigeonhole Principle was accepted at PoS 2022.



Enjoy Reading This Article?

Here are some more articles you might like to read next:

  • a post with diagrams
  • a post with code diff
  • a post with twitter
  • a post with disqus comments
  • a post with giscus comments