sharp_satisfiability_fpras (114B)
1 # Sharp-SAT FPRAS 2 3 - [karp_luby] 4 5 Up: [fpras] for [sharp_satisfiability_approximate] 6 7 See also: [arenas2020fpras]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |