Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman | Paper Citation Record

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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

Observation d2453f53-111e-4112-9bd1-21cd873208d0 · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+00:00.

Observation 70800fc0-6c69-4a27-9fe8-b377fde76df0 · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+00:00.

Observation 89c11aea-542a-4e09-96c7-aad7c89cd405 · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+00:00.

Observation afe41069-e665-42e7-8f19-6ff2925aed5e · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+00:00.

Observation daad54bf-151e-4aa1-98e4-c90323acd4ce · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+00:00.

Observation 360bcb6d-3b41-4760-bdd3-12c9a384d9bb · outbound

This paper cites Razborov.

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman 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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers