A New Kind of Tradeoffs in Propositional Proof Complexity

Authors

Keywords

Journal

Volume 63, Issue 2, Pages 1-14

Publisher

Association for Computing Machinery (ACM)

Online

2016-04-08

DOI

10.1145/2858790

References

View 5 related references

Discuss science. Find collaborators. Network.

Join a conversation

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started