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.
Singh, Nuclear Data Sheets forA=172, Nucl
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Application of the CBS rotor model to rare-earth even-even nuclei produces calculated ground-state band energies, B(E2) transition rates, and beta-band excitations that are compared with experimental data and used to predict unmeasured observables.
citing papers explorer
-
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.