Paper on ppCDCL, a privacy-preserving CDCL SAT solver with oblivious propagation, because ordinary SAT wasn’t slow enough.

Paper on SMT encodings for quantum circuit optimization, with exact-G and null-gate variants that synthesize S-box circuits faster than e...