Uncategorized

News

50 Years of Satisfiability Prof. Andrei Krokhin has spoken on Thursday 8th April at the prestigious Simons Institute seminar 50 Years of Satisfiability: The…