CMSA New Technologies in Mathematics Seminar: Computer-Aided Mathematics and Satisfiability
CMSA EVENTS
October 13, 2021 2:00 pmProgress in satisfiability (SAT) solving has made it possible to determine the correctness of complex systems and answer long-standing open questions in mathematics. The SAT solving approach is completely automatic...
Read more