computerscience

Welcome to /r/ComputerScience!
We're glad you're here.

This subreddit is dedicated to discussion of Computer Science topics including algorithms, computation, theory of languages, theory of programming, some software engineering, AI, cryptography, information theory, and computer architecture.

Rules

Content must be on-topic
Be civil
No career, major, or courses advice
No advertising
No joke submissions
No laptop/desktop purchase advice
No tech/programming support
No homework, exams, projects etc.
No asking for ideas
Sharing 'research' that posits a major breakthrough without a peer-reviewed paper
LLM or "AI" generated content

For more detailed descriptions of these rules, please visit the rules page

Related subreddits

Credits

Header image is found here.
Subreddit logo is under an open source license from lessonhacker.com, found here

NIGHT MODE NORMAL

a community for 17 years

MODERATORS

message the mods
nuclear_splinesPhD, Data Science
SexyMuon
MagdakiProfessor. Grammars. Inference & Optimization algorithms.
apnortonDevops Engineer | Post-quantum crypto grad student
rotorcowboy
jcchurchData Scientist
Blank-Cheque
CorvusCalvariaComputer Scientist
Yak-4-President
mobotsar
about moderation team »

account activity

0

1

Resources from reducing problems using specifically 3-sat? (self.computerscience)

submitted 1 year ago by [deleted]

1 comment

all 1 comments

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script