CIRCUIT-SAT Algorithms

Name: CIRCUIT-SAT Algorithms
Start: 2022-04-08T12:50:00+03:00
End: 2022-04-08T13:20:00+03:00
Location: SPbU Math & CS Dept

by Mr Nikita Gaevoy (SPbU)

Friday 8 Apr 2022, 12:50 → 13:20 Europe/Moscow

201 (SPbU Math & CS Dept)

201

SPbU Math & CS Dept

Description

I will talk about modern approaches to the CIRCUIT-SAT problem. I will describe how best modern solvers work and show promising directions of their improvement.