Quick Navigation

Overview Topics Abstract Paper Tools References Reactions Discussion Publication Related

Topics

Quantum Simulation

A classical proof system for quantum unsatisfiability, based on a matrix Nullstellensatz

Crossref
Authors: Giacomo Petroselli

Year

2026

Paper ID

63410

Status

Peer-reviewed

Abstract Read

~2 min

Abstract Words

0

Citations

0

Abstract

No abstract available.

Paper Tools

Become a member to use research tools

Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.

Become a member Sign in
Publisher Share Cite This Paper Copy URL Compare Copy DOI Add to Reading List Category Correction Request

References & Citation Signals

[1] DOI https://doi.org/10.1016/j.apal.2026.103778 [2] Publisher https://doi.org/10.1016/j.apal.2026.103778

Local Citation Graph (Related-Paper Links)

Current Paper #63410 #67354 Realizing triality and $p$-alit... #67352 Lieb-Schultz-Mattis Theorem wit... #67351 Quantum-assisted Rendezvous on ... #67337 Parameterization and optimizabi...

External citation index: OpenAlex citation signal • updated 2026-06-03 19:37:59

Community Reactions

Quick sentiment from readers on this paper.

Score: 0
Likes: 0 Dislikes: 0

Sign in to react to this paper.

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.