Stack Exchange
sign up
|
log in
|
Computer Science
beta
Questions
Tags
Tour
Users
Ask Question
Help Center
>
Badges
Promoter
First bounty you offered on your own question.
Numerator earned this badge
jan 3 at 21:05
randomized algorithm for checking the satisfiability of s-formulas, that outputs the correct answer with probability at least $\frac{2}{3}$
Others with this badge
The Stack Exchange Model
Privileges list
Badges list
Reputation & Privileges
Asking
Answering
My Account
Computer Science Stack Exchange works best with JavaScript enabled