Young Researchers' Seminar

CIRCUIT-SAT Algorithms

by Mr Nikita Gaevoy (SPbU)

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.