Computer science

Memory

What Every Programmer Should Know About Memory - cpumemory.pdf - Drepper 2007

SAT/SMT

• SAT: Boolean satisfiability problem
• SMT: Satisfiability modulo theories

SAT/SMT by Example - SAT_SMT_by_example.pdf

Z3Prover/z3 Wiki

• Z3Prover/z3: The Z3 Theorem Prover

Machine learning

Techniques

Denoising: A Powerful Building-Block for Imaging, Inverse Problems, and Machine Learning. Peyman Milanfar, Mauricio Delbracio. alphaXiv