Search Results

Search found 2 results on 1 pages for 'satisfiability'.

Page 1/1 | 1 

• Learning material on SAT (Boolean Satisfiability Problem)

  - by Jules

  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?

  Read the article

• Divide people into teams for most satisfaction

  - by Jweede

  Just a curiosity question. Remember when in class groupwork the professor would divide people up into groups of a certain number (n)? Some of my professors would take a list of n people one wants to work with and n people one doesn't want to work with from each student, and then magically turn out groups of n where students would be matched up with people they prefer and avoid working with people they don't prefer. To me this algorithm sounds a lot like a Knapsack problem, but I thought I would ask around about what your approach to this sort of problem would be.

  Read the article

1