Pith. sign in

Paper Citation Record · LEDGER

On Extremal Properties of k-CNF: Capturing Threshold Functions

As of 11 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2412.20493.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.20493 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T23:31:19.579039Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

  • verified exact1
  • verified fuzzy12
  • unresolved2
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2c188ae0-2a56-45e3-8004-5caf9d69c9a8 · outbound

This paper cites 26 Nikhil Vyas and Ryan Williams.

On Extremal Properties of k-CNF: Capturing Threshold Functions 26 Nikhil Vyas and Ryan Williams

Reference 1977

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.657179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.576066Z digest=sha256:24dd9c8664d16bd94fcb325c78ee18ae79f3eb8c2f64ea059f6437aaf2f43a0d

Observation 7fc1aaee-2e65-4cc7-8e7d-d28ae1226ead · outbound

This paper cites The composition complexity of majority.

On Extremal Properties of k-CNF: Capturing Threshold Functions The composition complexity of majority

Reference 1984

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.709094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.558568Z digest=sha256:82648dad21adc07f7b14962cb3324ae9da452501443a33bd97dfc84432614140

Observation 4371d701-77af-4258-b529-5e5d6f556751 · outbound

This paper cites Super strong ETH is true for PPSZ with small resolution width.

On Extremal Properties of k-CNF: Capturing Threshold Functions Super strong ETH is true for PPSZ with small resolution width

Reference 1994

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.695162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.562108Z digest=sha256:6ebccc9780a0cc3df2cc21d9a4d67ff8733639bd9921ccf3ffc38a32d8a3f13c

Observation 0560e80e-4e2d-407b-aeb6-119822054f14 · outbound

This paper cites Marques Silva and Inês Lynce.

On Extremal Properties of k-CNF: Capturing Threshold Functions Marques Silva and Inês Lynce

Reference 1995

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.681806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.565651Z digest=sha256:2b890aa974bc18f78c1ca6c4ee5238f4463cd10b8c1b86b75038018d4601addf

Observation 889bef08-5d7f-42be-ba55-b7f435582d79 · outbound

This paper cites A variant of the vc-dimension with applications to depth-3 circuits.

On Extremal Properties of k-CNF: Capturing Threshold Functions A variant of the vc-dimension with applications to depth-3 circuits

Reference 2006

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.765731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.530827Z digest=sha256:493ab6a9321fed1bc751671c8907b2b0a5de16c63cc6a4f6b836605d23ad685d

Observation 8df28111-937e-460d-baf5-5418a78caf84 · outbound

This paper cites Towards an optimal cnf encoding of boolean cardinality constraints.

On Extremal Properties of k-CNF: Capturing Threshold Functions Towards an optimal cnf encoding of boolean cardinality constraints

Reference 2007

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.669464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.568978Z digest=sha256:b8f117980b11cf77934545b20dbf83410e4e6fe4794d8f7c53425de9bf8c90bd

Observation 642c2ebc-84d8-4485-8b60-4082a7dc6343 · outbound

This paper cites The existence of designs.

On Extremal Properties of k-CNF: Capturing Threshold Functions The existence of designs

Reference 2011

Resolution
unresolved
no resolver link, observed 2026-08-10T23:31:19.550525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T23:31:19.550525Z digest=sha256:aee1bf0b32defdc3601a096d54aa05a7b218b0a9e718eaad3e38d746fd9d98fb

Observation 37dac377-d6aa-4809-a91e-4f39ad346b4f · outbound

This paper cites Klawe, Wolfgang J.

On Extremal Properties of k-CNF: Capturing Threshold Functions Klawe, Wolfgang J

Reference 2014

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.721042Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.554956Z digest=sha256:9d3994cc66264e13240d88e8a5b9f624dac526bb6dd414089c389fc4e29feb2f

Observation 7ca7ab44-264d-476a-b84b-f45d9bc75b6d · outbound

This paper cites Depth-three circuits for inner product and majority functions.

On Extremal Properties of k-CNF: Capturing Threshold Functions Depth-three circuits for inner product and majority functions

Reference 2016

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.789329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.520091Z digest=sha256:0824c3a53eee3d5f56cf19ee16a8e1e6eea0f0f85df835ff66cbc97c524430cc

Observation b3bd52fb-3f30-49b5-8c9f-bd3f650e485c · outbound

This paper cites 27 Guy Wolfovitz.

On Extremal Properties of k-CNF: Capturing Threshold Functions 27 Guy Wolfovitz

Reference 2019

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.645175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.579039Z digest=sha256:d453bffba66433c65151b1a622bc46d2722f35aecbcfbab2799c83fc42eb0e1e

Observation 8e0b2a77-9a76-4a90-bb76-1414ca5323fb · outbound

This paper cites Maximizing the number of maximal independent sets of a fixed size.

On Extremal Properties of k-CNF: Capturing Threshold Functions Maximizing the number of maximal independent sets of a fixed size

Reference 2020

Resolution
verified exact
local_arxiv, observed 2026-08-10T23:31:19.616707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.572405Z digest=sha256:7db126bdc7e6338a88b09da9c0286691056b90c6c30cb114a8151c85e97d27f8

Observation 86edd99b-e402-4d12-ac92-bed48d169e0b · outbound

This paper cites Saks, and Navid Tale- banfard.

On Extremal Properties of k-CNF: Capturing Threshold Functions Saks, and Navid Tale- banfard

Reference 2021

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.742812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.540517Z digest=sha256:55f57db64dc33106f0e6f85d43b2d1dcb4327c79e13b3c470b3addd20d7d3f7c

Observation cc67c5e1-45fe-44bc-bad1-c2c8d253ae40 · outbound

This paper cites Kulikov, and R.

On Extremal Properties of k-CNF: Capturing Threshold Functions Kulikov, and R

Reference 2022

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.754111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.535922Z digest=sha256:12055a141abc371abc9af8b475f4525369e44533cafc2299c37ec92f7c04ce38

Observation b14fbc0d-3b7a-414d-90d2-8775aa23611e · outbound

This paper cites an unresolved cited work.

On Extremal Properties of k-CNF: Capturing Threshold Functions Unresolved cited work

Reference 2023

Resolution
unresolved
raw_fallback, observed 2026-08-10T23:31:19.778161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.526130Z digest=sha256:05675489e0ff097b6a01a47d90eb63af008ba54becb1a1d674c4ebef739cf86c

Observation fc076ff4-34c0-4d08-9cbd-9a5deb8f4ef5 · outbound

This paper cites Fasterk-sat algorithms using biased-ppsz.

On Extremal Properties of k-CNF: Capturing Threshold Functions Fasterk-sat algorithms using biased-ppsz

Reference 2024

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T23:31:19.731929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-10T23:31:19.545757Z digest=sha256:5f6a2aa9d2d60b4adcca0f01a84337ea851245a44dac152ed5101d18acf33de5

Pith citing papers

No inbound Pith citation observations are available.