Learning material on SAT (Boolean Satisfiability Problem)

Posted by Jules on Stack Overflow See other posts from Stack Overflow or by Jules
Published on 2010-03-27T19:22:18Z Indexed on 2010/03/27 19:43 UTC
Read the original article Hit count: 261

Filed under:

What are good documents to read on SAT (Boolean satisfiability problem) solvers. I have not been able to find good material via Google. The documents I found were either birds eye view, too advanced or corrupted PDF files...

Which papers/documents do you recommend to learn about the algorithms in modern practical SAT solvers?

Related posts about computer-science

How do I completely self study computer science?

as seen on Programmers - Search for 'Programmers'
Being a completely self taught programmer I would like it if I could better myself by self-learning computer science course taught to a typical CS grad. Finding different resources on internet has been easy, there is of course MIT open course ware, and there are Coursera courses from Stanford and… >>> More
what, why, when, should I learn computer science?

as seen on Programmers - Search for 'Programmers'
I'm 16 years old and really an enthusiast on web programming. I know (X)HTML, css, javascript and php. And i heard about computer science. Below are my question: What is computer science? Should a web programmer learn computer science? If the answer of question 2 is yes, then what programming language(s)… >>> More
what, why, when, should I learn computer science?

as seen on Programmers - Search for 'Programmers'
I'm 16 years old and really an enthusiast on web programming. I know (X)HTML, css, javascript and php. And i heard about computer science. Below are my question: What is computer science is? Should a web programmer learn computer science? If the answer of question 2 is yes, then what programming… >>> More
What topic in computer science is this?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I am trying to figure out what 'topic' this is called, so I can learn more about it. Basically, I'm talking about designing my applications's architecture. I'm not talking about algorithms. More like -- this class should have these methods and these instance variables, and communicate with… >>> More
Computer Science Resume [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I am looking for a good computer science resume. I just graduated, and I would like to see some samples from real programmers. The ones online don't seem that great. Sorry if this is posted in the wrong section. >>> More

Developer IT

Learning material on SAT (Boolean Satisfiability Problem) - Developer IT

Learning material on SAT (Boolean Satisfiability Problem)

computer-science

sat-solvers

Related posts about computer-science

How do I completely self study computer science?

what, why, when, should I learn computer science?

what, why, when, should I learn computer science?

What topic in computer science is this?

Computer Science Resume [closed]

Related posts about sat-solvers

Learning material on SAT

Learning material on SAT (Boolean Satisfiability Problem)

Categories cloud