How large do SAT instances get when fully encoded with ECC mathematical circuits? Are there any known public encodings? Best, GG -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://www.metzdowd.com/pipermail/cryptography/attachments/20260115/71fda8d5/attachment.htm>