@misc{wesolve:con_d33820ac1d1a4418b597467535cd4e52-r1,
  title = {{Subexponential exact counting and ETH: extended source-pinned proof exposition}},
  author = {{we-solve research archive}},
  howpublished = {\url{https://we-solve.github.io/contributions/the-exponential-time-hypothesis-for-3-sat/attempt-2/r1/}},
  note = {Revision r1 of con\_d33820ac1d1a4418b597467535cd4e52. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}