Computer Science
Network profile
106
reputation
3

Sayan Pal

My NPM package for automated satisfiability checking for propositional (Boolean) formula: pps, and the GitHub source.

0
answers
1
question
~64
people reached

Communities (35)

Top network posts

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

1 Refutation of pigeonhole using resolution Jul 12 '17

Badges (3)

Gold

—

Silver

—

Bronze

3

Rarest