Incremental Property Directed Reachability

Blankestijn, Max; Laarman, Alfons

doi:10.1007/978-981-99-7584-6_13

Search citation statements

Order By: Relevance

Paper Sections

Select...

Conclusion and Further Research1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Book2

Relationship

Self Cite1

Independent1

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It would also be interesting to study other solving techniques for the spooky pebble game. The recently developed Incremental Property Directed Reachability [31] would be worthwhile to apply to spooky pebble game solving, as is has promising results for solving the reversible pebble game.…”

Section: Conclusion and Further Researchmentioning

confidence: 99%

Optimizing Quantum Space Using Spooky Pebble Games

Quist,

Laarman

2023

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Pebble games are used to study space/time trade-offs. Recently, spooky pebble games were introduced to study classical space / quantum space / time trade-offs for simulation of classical circuits on quantum computers. In this paper, the spooky pebble game framework is applied for the first time to general circuits. Using this framework we prove an upper bound for quantum space in the spooky pebble game. We also prove that solving the spooky pebble game is PSPACE-complete. Moreover, we present a solver for the spooky pebble game based on satisfiability combined with heuristic solvers. This spooky pebble game solver was empirically evaluated by calculating optimal classical space / quantum space / time trade-offs. Within limited runtime, the solver could find a strategy reducing quantum space when classical space is taken into account, showing that the spooky pebble model is useful to reduce quantum space.

show abstract

Section: Conclusion and Further Researchmentioning

confidence: 99%