Repository navigation
Q03 — How efficiently can we compile into STP? #5
marwahaha
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Discussion of Q03: How efficiently can we compile into STP?.
How much of the cost of a universal STP construction is essential?
Possible reductions, counterexamples, special cases, and related results are welcome. Please state the assumptions and link to relevant work.
The question page contains the full formulation and references. This conversation also appears beneath the question on both versions of the website.
All reactions