Integer Circuit Evaluation Is PSPACE-Complete

Journal of Computer and System Sciences - United States
doi 10.1006/jcss.2001.1768
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Rolling Block Mazes Are PSPACE-complete

Journal of Information Processing
2012English

Amazons, Konane, and Cross Purposes Are PSPACE-complete

English

Convex Approximations for Complete Integer Recourse Models

Mathematical Programming, Series B
MathematicsSoftware
2004English

It Is Easy to Determine Whether a Given Integer Is Prime

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
2004English

PSPACE-completeness of Modular Supervisory Control Problems*

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2005English

Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Theory-Contraction Is NP-Complete

Logic Journal of the IGPL
Philosophy
2003English

‘Our Complete Service Is Unique’

Vital
2008English

Our GMP Expansion Is Complete!

Chemical and Engineering News
Chemical Engineering
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy