https://easychair.org/smart-slide/slide/PJkS
Proof Complexity of Propositional Model Counting
proof complexitypropositionalmodelcounting
https://arxiv.org/abs/2403.06704
[2403.06704] Proof complexity of universal algebra in a CSP dichotomy proof
Abstract page for arXiv paper 2403.06704: Proof complexity of universal algebra in a CSP dichotomy proof
proof complexityuniversal algebra240306704
https://www.newswire.ca/news-releases/fermah-closes-5-2m-seed-round-to-abstract-away-the-complexity-of-zk-proof-generation-810024408.html
Fermah Closes $5.2M Seed Round to Abstract Away the Complexity of ZK Proof Generation
/CNW/ -- Fermah, the universal proof generation layer, has announced the successful closure of its $5.2 million seed round, co-led by the a16z CSX fund and...
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26219
Research Meeting 26219: Book Project: Introductory Textbook on Proof Complexity
research meetingbook projectintroductorytextbookproof
https://arxiv.org/abs/2505.16963v2
[2505.16963v2] A Formal Proof of Complexity Bounds on Diophantine Equations
Abstract page for arXiv paper 2505.16963v2: A Formal Proof of Complexity Bounds on Diophantine Equations
formal proof2505
https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/26219
Forschungstreffen 26219: Book Project: Introductory Textbook on Proof Complexity
book projectintroductorytextbookproofcomplexity
https://deepai.org/publication/jcr70-a-low-complexity-millimeter-wave-proof-of-concept-platform-for-a-fully-digital-mimo-joint-communication-radar
JCR70: A Low-Complexity Millimeter-Wave Proof-of-Concept Platform for A Fully-Digital MIMO Joint...
Jun 23, 2020 - 06/23/20 - A fully-digital wideband joint communication-radar (JCR) with a multiple-input-multiple-output (MIMO) architecture at the millimet...