ENTITY
PSPACE
PSPACE
PulseAugur coverage of PSPACE — every cluster mentioning PSPACE across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Reachability problem in 3-VAS complexity settled to PSPACE-complete
Researchers have determined the precise complexity of the reachability problem within specific types of vector addition systems (VAS). They have proven that the reachability problem for symmetric vector addition systems…
-
New algorithm optimizes decision-making under variable costs
Researchers have developed a novel branch-and-bound algorithm designed to construct cost-optimal decision strategies for evaluating propositional formulas. This algorithm aims to minimize the expected cost by considerin…