Introduction to SAT-Solvers. - Here.
Codification of Numerical Constraints for SAT. - Here.
Searching Algorithms, Systems Based on Knowledge and Computer Planning. - Here.
DFA, PDA, Turing Machines and Decidibility on Languages. - Here.
Unix OS Distributions, Backup Policies, Local and Network Services. - Here.
Classification and Regression models (Credits to L. Belanche - UPC). -
Basics of Quantum Mechanics, Qubits, Quantum Algorithms and Cryptografy (Credits to L. Ametller - UPC). - Here.
What Every Computer Scientist Should Know About Floating Point Arithmetic. Here.
Ultimate Computer Science Cheat Sheet. Here.