New Dpure dependency scheme makes DQRAT p-equivalent to Independent Extended QU-Res with prototype DQRAT-check implementation.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Authors define Q-MICE as a sound #QBF proof system extending MICE ideas, prove upper bounds including on quantified XOR-PAIRS, and separate it from expansion-based systems.
citing papers explorer
-
Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking
New Dpure dependency scheme makes DQRAT p-equivalent to Independent Extended QU-Res with prototype DQRAT-check implementation.
-
On Proof Systems for #QBF
Authors define Q-MICE as a sound #QBF proof system extending MICE ideas, prove upper bounds including on quantified XOR-PAIRS, and separate it from expansion-based systems.