Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:33:12.634024Z
Paper Citation Record · LEDGER
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman
As of 15 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2411.14267.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
61 of 61 outbound references displayed
- verified exact0
- verified fuzzy58
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e9fe1bf0-b888-41e2-a915-57f42624007a · outbound
This paper cites an unresolved cited work.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T15:33:13.483897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 46cd11ea-7b50-45eb-bc6c-599e29103da8 · outbound
This paper cites an unresolved cited work.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T15:33:13.471101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 976d5846-1393-45b3-9832-d5a8d99799c9 · outbound
This paper cites Graph isomorphism in quasipolynomial time [extended abstract].
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Graph isomorphism in quasipolynomial time [extended abstract]
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.457768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2c44e14f-2e2d-4688-9bec-fe32b37c8c9b · outbound
This paper cites Time-space tradeoffs in resolution: Superpolynomial lower bounds for superlinear space.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Time-space tradeoffs in resolution: Superpolynomial lower bounds for superlinear space
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.444698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 15cd9ab3-22ad-4766-b49f-ff3640f93fff · outbound
This paper cites On the complexity of finding narrow proofs.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman On the complexity of finding narrow proofs
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.431571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b677ef91-6850-4bff-90e6-e3dbe079c84f · outbound
This paper cites Stabbing planes.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Stabbing planes
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.417507Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 524ebc7b-0998-4f38-8d85-d0130e624b44 · outbound
This paper cites Rank bounds and integrality gaps for cutting planes procedures.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Rank bounds and integrality gaps for cutting planes procedures
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.404431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e86e99ea-3868-4866-8cbd-d5d0e0e32f3a · outbound
This paper cites Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:33:12.410695Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c82a2611-08b8-4590-86e0-cc02b0026990 · outbound
This paper cites Supercritical space-width trade-offs for resolution.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Supercritical space-width trade-offs for resolution
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.391248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 15dba599-2088-4434-9003-c27822be31d2 · outbound
This paper cites Buss and Jakob Nordström.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Buss and Jakob Nordström
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.377758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8c005e24-40cd-4e39-bbf4-1f7edd7caa99 · outbound
This paper cites Near-optimal lower bounds on quantifier depth and W eisfeiler- L eman refinement steps.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Near-optimal lower bounds on quantifier depth and W eisfeiler- L eman refinement steps
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.364280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 673fc5d3-cad4-46e0-8f71-e2afc0eb4fb1 · outbound
This paper cites Some trade-off results for polynomial calculus.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Some trade-off results for polynomial calculus
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.350758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c4a70115-9d5a-4507-9749-50a3c02b7301 · outbound
This paper cites Propositional proof complexity: Past, present, and future.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Propositional proof complexity: Past, present, and future
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.337413Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b2b75d69-074c-43cc-b4f4-6e7b932808d2 · outbound
This paper cites Lower bounds for cutting planes proofs with small coefficients.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Lower bounds for cutting planes proofs with small coefficients
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.323845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2f325ba8-89bf-4377-b18a-d15f52dcc410 · outbound
This paper cites A simple supercritical tradeoff between size and height in resolution.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman A simple supercritical tradeoff between size and height in resolution
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.310510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d26e2a77-b6f9-49f8-af1a-157790c684cc · outbound
This paper cites Super-critical trade-offs in resolution over parities via lifting.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Super-critical trade-offs in resolution over parities via lifting
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.297024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f396c7be-3fce-4396-a4d9-cde21a4697c7 · outbound
This paper cites An optimal lower bound on the number of variables for graph identifications.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman An optimal lower bound on the number of variables for graph identifications
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.283356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 50b5e76d-1a1f-4f39-acde-40bca091a3c6 · outbound
This paper cites Edmonds polytopes and a hierarchy of combinatorial problems.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Edmonds polytopes and a hierarchy of combinatorial problems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.269353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8fbd40c3-647f-4f0e-a835-6cb0b796fb7f · outbound
This paper cites On the complexity of branching proofs.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman On the complexity of branching proofs
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.256089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 396abb20-c5e3-4858-953d-4a65b5395426 · outbound
This paper cites Paths, trees, and flowers.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Paths, trees, and flowers
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.242201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1ffab0f6-c71a-46ac-902f-395d331e89d9 · outbound
This paper cites On the power and limitations of branch and cut.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman On the power and limitations of branch and cut
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.228751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 087a4862-0410-4493-a5e2-340d116a0499 · outbound
This paper cites Thresholds versus fractional expectation-thresholds.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Thresholds versus fractional expectation-thresholds
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.215327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dafc2f22-cc7f-4206-90dd-8979f3068380 · outbound
This paper cites Reflections on proof complexity and counting principles.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Reflections on proof complexity and counting principles
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.201673Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 83230490-a792-4deb-9974-52180f26bad6 · outbound
This paper cites Random ( n) - CNFs are hard for cutting planes.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Random ( n) - CNFs are hard for cutting planes
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.187853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d3ffa1a1-0e25-47b3-af83-0f6d2d8e6434 · outbound
This paper cites Extremely deep proofs.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Extremely deep proofs
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.174556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6b01229d-3f27-412b-9ef4-9d52eca89118 · outbound
This paper cites W eisfeiler- L ehman refinement requires at least a linear number of iterations.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman W eisfeiler- L ehman refinement requires at least a linear number of iterations
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.160901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 70eb7313-1ff6-41e8-a339-9cf220168829 · outbound
This paper cites A characterization of span program size and improved lower bounds for monotone span programs.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman A characterization of span program size and improved lower bounds for monotone span programs
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.147390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 97c2f01e-9637-458c-8ed7-15994d15033a · outbound
This paper cites Monotone circuit lower bounds from resolution.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Monotone circuit lower bounds from resolution
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.134172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f8874281-1ca6-4cfa-bc14-b20ea195609e · outbound
This paper cites Rectangles are nonnegative juntas.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Rectangles are nonnegative juntas
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.121012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7abcc219-574f-4746-8929-71857fb6e30f · outbound
This paper cites The iteration number of the W eisfeiler- L eman algorithm.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman The iteration number of the W eisfeiler- L eman algorithm
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.107636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1bef351d-85c8-4e47-b64a-1aeba4ade1ef · outbound
This paper cites Compressing CFI graphs and lower bounds for the W eisfeiler- L eman refinements.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Compressing CFI graphs and lower bounds for the W eisfeiler- L eman refinements
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.093952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 71928759-57a6-4cf4-872b-902bb3e4f29a · outbound
This paper cites Supercritical tradeoffs for monotone circuits.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Supercritical tradeoffs for monotone circuits
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.080958Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 399f85f3-6fd9-446b-8dbc-eca19cac3bc1 · outbound
This paper cites Rank logic is dead, long live rank logic! The Journal of Symbolic Logic , 84(1):54--87, March 2019.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Rank logic is dead, long live rank logic! The Journal of Symbolic Logic , 84(1):54--87, March 2019
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.067912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e62174f2-f09c-411a-a302-963521dc327a · outbound
This paper cites The logic of graph neural networks.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman The logic of graph neural networks
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.054532Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3f2e40f8-9cb6-4a1d-8440-863586b2da57 · outbound
This paper cites Cops-robber games and the resolution of T seitin formulas.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Cops-robber games and the resolution of T seitin formulas
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.041710Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a37b1163-2fdc-4b43-9d3d-6be7c4a48f6d · outbound
This paper cites Random formulas, monotone circuits, and interpolation.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Random formulas, monotone circuits, and interpolation
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.028523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation bef643de-93fa-4eb9-8441-bcb3693f4c13 · outbound
This paper cites Describing graphs: A first-order approach to graph canonization.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Describing graphs: A first-order approach to graph canonization
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.015379Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0be34d8f-aef5-4d79-a833-a5dde13d5a9d · outbound
This paper cites Boolean Function Complexity - Advances and Frontiers , volume 27 of Algorithms and combinatorics.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Boolean Function Complexity - Advances and Frontiers , volume 27 of Algorithms and combinatorics
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:13.001976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 498e1317-9545-42e3-984d-65131f5d617d · outbound
This paper cites The W eisfeiler- L eman algorithm: an exploration of its power.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman The W eisfeiler- L eman algorithm: an exploration of its power
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.988415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 480aaa0e-84ff-476e-82d0-451394fa45dc · outbound
This paper cites Proof Complexity , volume 170 of Encyclopedia of Mathematics and Its Applications.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Proof Complexity , volume 170 of Encyclopedia of Mathematics and Its Applications
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.975171Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 70608a92-9bcd-4b18-bf29-71b119339aec · outbound
This paper cites Upper bounds on the quantifier depth for graph differentiation in first order logic.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Upper bounds on the quantifier depth for graph differentiation in first order logic
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.961934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4f315c30-e26f-43fe-89d7-ca0b37c2cb01 · outbound
This paper cites Monotone circuits for connectivity require super-logarithmic depth.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Monotone circuits for connectivity require super-logarithmic depth
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.948751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 05fca9a5-f8fe-44ae-8f2b-a77ba8cb8f95 · outbound
This paper cites Lifting with Sunflowers.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Lifting with Sunflowers
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.935718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f135f296-e6b8-4ec7-9e69-513d961d7578 · outbound
This paper cites Walk refinement, walk logic, and the iteration number of the W eisfeiler- L eman algorithm.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Walk refinement, walk logic, and the iteration number of the W eisfeiler- L eman algorithm
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.921520Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1d2f1d5a-abfc-44ff-bd62-73702967acda · outbound
This paper cites Kriege, Martin Grohe, Matthias Fey, and Karsten Borgwardt.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Kriege, Martin Grohe, Matthias Fey, and Karsten Borgwardt
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.908271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 653c4b75-e4a3-4b97-9484-04d2a976a00b · outbound
This paper cites Hamilton, Jan Eric Lenssen, Gaurav Rattan, and Martin Grohe.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Hamilton, Jan Eric Lenssen, Gaurav Rattan, and Martin Grohe
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.894721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a248c1d9-baea-4d34-90c9-29d40fc2c42f · outbound
This paper cites Lower bounds for resolution and cutting plane proofs and monotone computations.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Lower bounds for resolution and cutting plane proofs and monotone computations
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.881259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1c747653-2cbe-4c00-99b9-3ca7de5f664d · outbound
This paper cites On extracting computations from propositional proofs (a survey).
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman On extracting computations from propositional proofs (a survey)
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.867621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c6e446cd-9a80-4465-bde1-7413e6928fb3 · outbound
This paper cites Coding for sunflowers.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Coding for sunflowers
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.854142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d2453f53-111e-4112-9bd1-21cd873208d0 · outbound
This paper cites Razborov.
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.840857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 70800fc0-6c69-4a27-9fe8-b377fde76df0 · outbound
This paper cites Razborov.
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.827581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 89c11aea-542a-4e09-96c7-aad7c89cd405 · outbound
This paper cites Razborov.
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.813308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation afe41069-e665-42e7-8f19-6ff2925aed5e · outbound
This paper cites Razborov.
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.800064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation daad54bf-151e-4aa1-98e4-c90323acd4ce · outbound
This paper cites Razborov.
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.786736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 360bcb6d-3b41-4760-bdd3-12c9a384d9bb · outbound
This paper cites Razborov.
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.773004Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f060d8ef-a085-45f8-a101-985130d90827 · outbound
This paper cites Monotone circuits for matching require linear depth.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Monotone circuits for matching require linear depth
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.758771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 00120cd8-3e4c-4505-9ed2-5e17a6baca36 · outbound
This paper cites Dag-like communication and its applications.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Dag-like communication and its applications
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.743023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1347332e-51d6-4384-ab2d-361ea1db4ec5 · outbound
This paper cites Random ( n) - CNF are hard for cutting planes (again).
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Random ( n) - CNF are hard for cutting planes (again)
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.729276Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1eba0bfe-96a7-4b6a-9c2c-ef1f91758a16 · outbound
This paper cites Graph searching and a min-max theorem for tree-width.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman Graph searching and a min-max theorem for tree-width
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.715075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dad1696c-e195-4bd1-ba00-dfe1a76c56c8 · outbound
This paper cites On the complexity of derivation in propositional calculus.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman On the complexity of derivation in propositional calculus
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.700693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 26b37016-f6dc-46d6-b101-36f9c10852c6 · outbound
This paper cites A reduction of a graph to a canonical form and an algebra arising during this reduction.
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman A reduction of a graph to a canonical form and an algebra arising during this reduction
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:33:12.686244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
No inbound Pith citation observations are available.