What is Nostr?
José A. Alonso /
npub1pma…v8pw
2024-11-13 09:58:29

José A. Alonso on Nostr: How to discover short, shorter, and the shortest proofs of unsatisfiability: A ...

How to discover short, shorter, and the shortest proofs of unsatisfiability: A branch-and-bound approach for resolution proof length minimization. ~ Konstantin Sidorov, Koos van der Linden, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirović. https://arxiv.org/abs/2411.07955 #ATP #SAT_Solvers
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw