RUS
ENG
Full version
SEMINARS
Colloquium of the Faculty of Computer Science
November 12, 2019
16:40
, Moscow
Some Adventures in Boolean Satisfiability and Its Logic Synthesis Applications
J.-H. Roland Jiang
https://www.youtube.com/watch?v=23yhtI7-ceI
©
Steklov Math. Inst. of RAS
, 2025
