{"schemaVersion":1,"target":{"type":"reading","id":"450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688","revision":"b1adc809-e656-4ca7-86ec-c6cd9eee8a22","revisionKind":"publication-id","title":"arXiv cs.AI: Chen and Yao present an improved algorithm for quantified Boolean formulas","url":"https://escapemeridian.com/readings/arxiv-cs-ai-chen-and-yao-present-an-improved-algorithm-for-45088666"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.10633","revision":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","revisionKind":"sha256-source-text","title":"An Improved Algorithm for Quantified Boolean Formulas","url":"https://arxiv.org/abs/2611.10633"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}