✦ LIBER ✦

Integer Circuit Evaluation Is PSPACE-Complete

✍ Scribed by Ke Yang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding co-observability is PSPACE-comp

✍ Rohloff, K.; Tae-Sic Yoo; Lafortune, S. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 299 KB

Optimizing the Region Algebra is PSPACE-

✍ Wouter Gelade; Frank Neven 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 205 KB

The Othello game on an n × n board is PS

✍ Shigeki Iwata; Takumi Kasai 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 647 KB

The consequence relation in the logic of

✍ Simone Bova; Franco Montagna 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 978 KB

The existential theory of equations with

✍ Volker Diekert; Claudio Gutierrez; Christian Hagenah 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 424 KB

The Planar Hamiltonian Circuit Problem i

✍ Garey, M. R.; Johnson, D. S.; Tarjan, R. Endre 📂 Article 📅 1976 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 768 KB