Boolean normal form - Learning Logic for Computer Science [https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] - 2022-12-31 22:54:26 - public:stevetao Boolean, Course, Logic, Math, Math-Logic, Normal-Form, Propositional-Logic - 7 | id:1294760 -
Kanat Poolsawasd - YouTube [https://www.youtube.com/@kanatpoolsawasd491/playlists] - 2022-11-28 14:19:36 - public:stevetao Binary-Number, Boolean, Conversion, Digital, GrayCode, Logic - 6 | id:1294490 -
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 -
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 -
