{"id":"450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688","title":"arXiv cs.AI: Chen and Yao present an improved algorithm for quantified Boolean formulas","argument":"Zhiyang Chen and Hailong Yao report a new algorithm for quantified Boolean formula (QBF), the quantified version of Boolean satisfiability (SAT), a fundamental problem in constraint solving. They say it uses memoized search and solves QBF with n variables and m clauses in 1.685^m·poly(n) time and space. The authors describe this as the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams. Their technique uses minimum vertex cover of conflict graphs, an idea previously proposed for studying the parameterized complexity of SAT, and extends it to QBF. They also state that QBF is slicewise polynomial-time solvable using this parameter. Escape Meridian interpretation: this is a theoretical improvement in the stated bound for solving QBF; the abstract does not report empirical performance or describe the algorithm’s practical use. The claims concern a problem the authors characterize as PSPACE-complete, so the improvement is in the algorithmic bound they give, not a claim that the problem has become easy in practice.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the arXiv abstract, not the full paper; it does not provide the proof or details needed to assess the stated bounds. The abstract does not report empirical performance or describe practical applications.","speaker":{"name":"Chen, Zhiyang, Yao, Hailong","roleAtSource":"Article author"},"source":{"title":"An Improved Algorithm for Quantified Boolean Formulas","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.10633","publishedAt":"2026-11-07","dateBasis":"Date basis not provided."},"evidence":[{"text":"Chen and Yao present a memoized-search algorithm for QBF with n variables and m clauses, with a stated running-time and space bound of 1.685^m·poly(n).","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The authors say this is the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams.","excerpt":"This is the first improvement over the $1.709^m\\cdot\\text{poly}(n)$ bound by Williams in over 20 years.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The technique extends minimum vertex cover of conflict graphs, previously proposed for studying the parameterized complexity of SAT, to QBF; the authors also state that QBF is slicewise polynomial-time solvable using this parameter.","excerpt":"Our technique is based on the minimum vertex cover of the conflict graphs, which was proposed to study the parameterized complexity of SAT. We extend this idea to QBF and further show that QBF is slicewise polynomial-time solvable using this parameter.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The abstract presents a theoretical algorithmic bound and does not report empirical performance or practical use.","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","url":"https://arxiv.org/abs/2611.10633","relationship":"Escape Meridian interpretation"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.10633","checkedAt":"2026-11-10T15:48:15.688Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How does the algorithm perform on QBF instances in practice, beyond the stated theoretical time and space bound?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Chen and Yao present an improved algorithm for quantified Boolean formulas","summary":"Zhiyang Chen and Hailong Yao report a new algorithm for quantified Boolean formula (QBF), the quantified version of Boolean satisfiability (SAT), a fundamental problem in constraint solving. They say it uses memoized search and solves QBF with n variables and m clauses in 1.685^m·poly(n) time and space. The authors describe this as the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams. Their technique uses minimum vertex cover of conflict graphs, an idea previously proposed for studying the parameterized complexity of SAT, and extends it to QBF. They also state that QBF is slicewise polynomial-time solvable using this parameter. Escape Meridian interpretation: this is a theoretical improvement in the stated bound for solving QBF; the abstract does not report empirical performance or describe the algorithm’s practical use. The claims concern a problem the authors characterize as PSPACE-complete, so the improvement is in the algorithmic bound they give, not a claim that the problem has become easy in practice.","question":"How does the algorithm perform on QBF instances in practice, beyond the stated theoretical time and space bound?","claims":[{"text":"Chen and Yao present a memoized-search algorithm for QBF with n variables and m clauses, with a stated running-time and space bound of 1.685^m·poly(n).","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","support":"source-stated"},{"text":"The authors say this is the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams.","excerpt":"This is the first improvement over the $1.709^m\\cdot\\text{poly}(n)$ bound by Williams in over 20 years.","support":"source-stated"},{"text":"The technique extends minimum vertex cover of conflict graphs, previously proposed for studying the parameterized complexity of SAT, to QBF; the authors also state that QBF is slicewise polynomial-time solvable using this parameter.","excerpt":"Our technique is based on the minimum vertex cover of the conflict graphs, which was proposed to study the parameterized complexity of SAT. We extend this idea to QBF and further show that QBF is slicewise polynomial-time solvable using this parameter.","support":"source-stated"},{"text":"The abstract presents a theoretical algorithmic bound and does not report empirical performance or practical use.","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","support":"interpretation"}],"limitations":["The evidence is the arXiv abstract, not the full paper; it does not provide the proof or details needed to assess the stated bounds.","The abstract does not report empirical performance or describe practical applications."],"mediaId":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","correctionReason":null,"id":"450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688","publicationId":"b1adc809-e656-4ca7-86ec-c6cd9eee8a22","version":1,"sourceUrl":"https://arxiv.org/abs/2611.10633","sourceTitle":"An Improved Algorithm for Quantified Boolean Formulas","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-07","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:39:44.365Z","createdAt":"2026-11-10T15:17:20.656Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","kind":"article","url":"https://arxiv.org/abs/2611.10633","sourceUrl":"https://arxiv.org/abs/2611.10633","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T15:16:34.949Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.10633","checkedAt":"2026-11-10T15:48:15.688Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","confidence":0.56,"provider":"typesafe","model":"jev-1.13.0","inputHash":"900619d9edc1ea4a1c62b9e8057d208f3550f4b3b45b899a56de81a3c397d891","decidedAt":"2026-11-10T15:16:35.511Z"},"provenance":{"textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observationId":"a492e00d76ccd33e8cabd65fd0fe694493a16abb0b41dc176b8c16bf1346f19f","retrievedAt":"2026-11-10T15:16:34.893Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"f2835696-ff03-47dc-8b7a-75c7ec02828a"},"reviewer":{"model":"gpt-6-luna","runId":"189da182-c421-4335-83cb-751468e157c5"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T15:17:20.656Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Chen, Zhiyang","url":null,"kind":"unknown"},{"name":"Yao, Hailong","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Chen, Zhiyang","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Chen, Zhiyang","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.10633","locator":"head/meta[name=author|citation_author]"},"assertionId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:48:15.688Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","sourceUrl":"https://arxiv.org/abs/2611.10633","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z"}},{"actor":{"name":"Yao, Hailong","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yao, Hailong","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.10633","locator":"head/meta[name=author|citation_author]"},"assertionId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:48:15.688Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","sourceUrl":"https://arxiv.org/abs/2611.10633","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.10633","snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z","basis":"publisher-page-metadata","sourceLinks":41,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-cs-ai-chen-and-yao-present-an-improved-algorithm-for-45088666","formats":{"html":"/readings/arxiv-cs-ai-chen-and-yao-present-an-improved-algorithm-for-45088666","markdown":"/readings/arxiv-cs-ai-chen-and-yao-present-an-improved-algorithm-for-45088666.md","json":"/readings/arxiv-cs-ai-chen-and-yao-present-an-improved-algorithm-for-45088666.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"},{"id":"time","name":"TIME","kind":"organization","context":"TIME is a news magazine publishing reporting on world affairs, business, technology and the workers behind digital services.","referenceUrls":["https://time.com/"],"path":"/entities/time","json":"/entities/time.json","markdown":"/entities/time.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"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."},"revisions":[{"id":"450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688","title":"arXiv cs.AI: Chen and Yao present an improved algorithm for quantified Boolean formulas","argument":"Zhiyang Chen and Hailong Yao report a new algorithm for quantified Boolean formula (QBF), the quantified version of Boolean satisfiability (SAT), a fundamental problem in constraint solving. They say it uses memoized search and solves QBF with n variables and m clauses in 1.685^m·poly(n) time and space. The authors describe this as the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams. Their technique uses minimum vertex cover of conflict graphs, an idea previously proposed for studying the parameterized complexity of SAT, and extends it to QBF. They also state that QBF is slicewise polynomial-time solvable using this parameter. Escape Meridian interpretation: this is a theoretical improvement in the stated bound for solving QBF; the abstract does not report empirical performance or describe the algorithm’s practical use. The claims concern a problem the authors characterize as PSPACE-complete, so the improvement is in the algorithmic bound they give, not a claim that the problem has become easy in practice.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the arXiv abstract, not the full paper; it does not provide the proof or details needed to assess the stated bounds. The abstract does not report empirical performance or describe practical applications.","speaker":{"name":"Chen, Zhiyang, Yao, Hailong","roleAtSource":"Article author"},"source":{"title":"An Improved Algorithm for Quantified Boolean Formulas","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.10633","publishedAt":"2026-11-07","dateBasis":"Date basis not provided."},"evidence":[{"text":"Chen and Yao present a memoized-search algorithm for QBF with n variables and m clauses, with a stated running-time and space bound of 1.685^m·poly(n).","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The authors say this is the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams.","excerpt":"This is the first improvement over the $1.709^m\\cdot\\text{poly}(n)$ bound by Williams in over 20 years.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The technique extends minimum vertex cover of conflict graphs, previously proposed for studying the parameterized complexity of SAT, to QBF; the authors also state that QBF is slicewise polynomial-time solvable using this parameter.","excerpt":"Our technique is based on the minimum vertex cover of the conflict graphs, which was proposed to study the parameterized complexity of SAT. We extend this idea to QBF and further show that QBF is slicewise polynomial-time solvable using this parameter.","url":"https://arxiv.org/abs/2611.10633","relationship":"Source-stated"},{"text":"The abstract presents a theoretical algorithmic bound and does not report empirical performance or practical use.","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","url":"https://arxiv.org/abs/2611.10633","relationship":"Escape Meridian interpretation"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.10633","checkedAt":"2026-11-10T15:48:15.688Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How does the algorithm perform on QBF instances in practice, beyond the stated theoretical time and space bound?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI: Chen and Yao present an improved algorithm for quantified Boolean formulas","summary":"Zhiyang Chen and Hailong Yao report a new algorithm for quantified Boolean formula (QBF), the quantified version of Boolean satisfiability (SAT), a fundamental problem in constraint solving. They say it uses memoized search and solves QBF with n variables and m clauses in 1.685^m·poly(n) time and space. The authors describe this as the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams. Their technique uses minimum vertex cover of conflict graphs, an idea previously proposed for studying the parameterized complexity of SAT, and extends it to QBF. They also state that QBF is slicewise polynomial-time solvable using this parameter. Escape Meridian interpretation: this is a theoretical improvement in the stated bound for solving QBF; the abstract does not report empirical performance or describe the algorithm’s practical use. The claims concern a problem the authors characterize as PSPACE-complete, so the improvement is in the algorithmic bound they give, not a claim that the problem has become easy in practice.","question":"How does the algorithm perform on QBF instances in practice, beyond the stated theoretical time and space bound?","claims":[{"text":"Chen and Yao present a memoized-search algorithm for QBF with n variables and m clauses, with a stated running-time and space bound of 1.685^m·poly(n).","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","support":"source-stated"},{"text":"The authors say this is the first improvement in over 20 years on the 1.709^m·poly(n) bound by Williams.","excerpt":"This is the first improvement over the $1.709^m\\cdot\\text{poly}(n)$ bound by Williams in over 20 years.","support":"source-stated"},{"text":"The technique extends minimum vertex cover of conflict graphs, previously proposed for studying the parameterized complexity of SAT, to QBF; the authors also state that QBF is slicewise polynomial-time solvable using this parameter.","excerpt":"Our technique is based on the minimum vertex cover of the conflict graphs, which was proposed to study the parameterized complexity of SAT. We extend this idea to QBF and further show that QBF is slicewise polynomial-time solvable using this parameter.","support":"source-stated"},{"text":"The abstract presents a theoretical algorithmic bound and does not report empirical performance or practical use.","excerpt":"we present a new algorithm based on memoized search, which solves QBF with $n$ variables and $m$ clauses in $1.685^m\\cdot\\text{poly}(n)$ time and space.","support":"interpretation"}],"limitations":["The evidence is the arXiv abstract, not the full paper; it does not provide the proof or details needed to assess the stated bounds.","The abstract does not report empirical performance or describe practical applications."],"mediaId":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","correctionReason":null,"id":"450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688","publicationId":"b1adc809-e656-4ca7-86ec-c6cd9eee8a22","version":1,"sourceUrl":"https://arxiv.org/abs/2611.10633","sourceTitle":"An Improved Algorithm for Quantified Boolean Formulas","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-07","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:39:44.365Z","createdAt":"2026-11-10T15:17:20.656Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","kind":"article","url":"https://arxiv.org/abs/2611.10633","sourceUrl":"https://arxiv.org/abs/2611.10633","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T15:16:34.949Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.10633","checkedAt":"2026-11-10T15:48:15.688Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"c10a74e3dc06e223c8dc6eff78a7d5ff3a1c1fd3201ef93b4b694708f2396b8b","confidence":0.56,"provider":"typesafe","model":"jev-1.13.0","inputHash":"900619d9edc1ea4a1c62b9e8057d208f3550f4b3b45b899a56de81a3c397d891","decidedAt":"2026-11-10T15:16:35.511Z"},"provenance":{"textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observationId":"a492e00d76ccd33e8cabd65fd0fe694493a16abb0b41dc176b8c16bf1346f19f","retrievedAt":"2026-11-10T15:16:34.893Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"f2835696-ff03-47dc-8b7a-75c7ec02828a"},"reviewer":{"model":"gpt-6-luna","runId":"189da182-c421-4335-83cb-751468e157c5"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T15:17:20.656Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Chen, Zhiyang","url":null,"kind":"unknown"},{"name":"Yao, Hailong","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Chen, Zhiyang","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Chen, Zhiyang","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.10633","locator":"head/meta[name=author|citation_author]"},"assertionId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:48:15.688Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","sourceUrl":"https://arxiv.org/abs/2611.10633","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z"}},{"actor":{"name":"Yao, Hailong","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yao, Hailong","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.10633","locator":"head/meta[name=author|citation_author]"},"assertionId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:48:15.688Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","sourceUrl":"https://arxiv.org/abs/2611.10633","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.10633","snapshotId":"74e022fcc625984fef3d21d94435efa1b44699ec9e43d969a60c5beb12b0c881","contentSha256":"4e440240abeff919a130d04b3a0e147d693de7b2933c99821d7a5c6241d56637","textHash":"9a549fc1dcf0b718e7b50ab89ab803623529837d46024dccfaffd611e7b535dc","observedAt":"2026-11-10T15:48:15.688Z","basis":"publisher-page-metadata","sourceLinks":41,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/450886666d68cb9b5d6f511ab151c911cb6fbdfb9fb0668b06fc0b99db729688/source"}}}],"audits":[{"publicationId":"b1adc809-e656-4ca7-86ec-c6cd9eee8a22","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading correctly credits Zhiyang Chen and Hailong Yao and keeps the bound, the 20-year improvement and the slicewise result as the authors' stated claims. The label 'arXiv cs.AI' matches the feed publisher. The paper's primary category is cs.DS and cs.AI is a cross-list, but this does not misattribute the work.","excerpt":"Authors:Zhiyang Chen, Hailong Yao"},{"dimension":"summary","status":"uncertain","explanation":"The reading is faithful but hard for a reader without specialist background to follow. Central terms are left unexplained: memoized search, PSPACE-complete, minimum vertex cover, conflict graphs, parameterized complexity, slicewise polynomial-time and the bound 1.685^m·poly(n). Nor does it say in plain words what a QBF or SAT problem asks. Smallest repair: briefly gloss QBF/SAT and note that lowering the exponential base from 1.709 to 1.685 shrinks the worst-case growth rate as clauses increase. Tooltips could cover the remaining terms. The question is reasonable.","excerpt":"Quantified Boolean formula (QBF), the quantified version of Boolean satisfiability (SAT), is a fundamental problem in constraint solving."},{"dimension":"date","status":"pass","explanation":"The originalPublished value of 2026-11-07 matches the arXiv v1 submission date. The feed date of 2026-11-10 is correctly not used.","excerpt":"[Submitted on 7 Nov 2026]"},{"dimension":"support","status":"pass","explanation":"All source-stated claims match the abstract verbatim in substance. The labeled interpretation, that the abstract gives a theoretical bound without empirical results or practical use, is accurate for the abstract. It is appropriately hedged and does not turn the bound into a claim of practical reliability. The draft invents no benefits or costs.","excerpt":"This is the first improvement over the $1.709^m\\cdot\\text{poly}(n)$ bound by Williams in over 20 years."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct arXiv abstract page for this paper. It is the most direct access to the source.","excerpt":null}],"createdAt":"2026-11-10T15:17:20.656Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}