Invited talk: Applying Satisfiability to the Analysis of Cryptography - Galois, Inc. [https://galois.com/news/applying-satisfiability-analysis-cryptography-sat-2015-talk-aaron-tomb/] - 2019-11-21 04:55:36 - public:stevetao Cryptography, SAT, Satisfiability - 3 | id:272030 -
The Boolean Satisfiability Problem [SAT] and SAT solvers in 5 mins* (or more) - 0a.io - [https://0a.io/chapter1/boolean-satisfiability-problem-or-sat-in-5-minutes.html] - 2019-11-21 04:53:04 - public:stevetao Boolean, BSAT, SAT, Satisfiability - 4 | id:272029 -
Sudoku - Satisfiability [http://www.cs.qub.ac.uk/~I.Spence/SuDoku/SuDoku.html] - 2019-11-21 04:52:43 - public:stevetao SAT, Satisfiability, Sudoku - 3 | id:272028 -
The satisfiability problem [http://www.cs.ecu.edu/karl/6420/spr16/Notes/NPcomplete/sat.html] - 2019-11-21 04:46:11 - public:stevetao NP-Complete, SAT, Satisfiability - 3 | id:272027 -
Applications of Boolean Satisfiability (SAT) - Analytics Vidhya - Medium [https://medium.com/analytics-vidhya/application-of-boolean-satisfiability-sat-87f41fb0e5ed] - 2019-11-21 04:44:35 - public:stevetao Boolean, SAT, Satisfiability - 3 | id:272026 -
300 Most Difficult SAT Words - Vocabulary List : Vocabulary.com [https://www.vocabulary.com/lists/191545] - 2018-11-05 21:40:47 - public:stevetao SAT, Vocabulary, Word-List - 3 | id:187417 -
