На 16 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.

Доклад на тема

Proof Complexity of Resolution over linear inequalities

ще изнесе Stefan Dantchev (Durham University, United Kingdom).

Абстракт. I will start by giving a brief and non-comprehensive introduction to the general research area, Propositional Proof Complexity.

I will then focus on a specific proof system that operates on linear inequalities with integral coefficients, called Stabbing Planes (SP). Next, a general method for proving depth lower bounds in SP will be introduced, which allows us to prove logarithmic depth lower bounds for several well-studied propositional contradictions, such as the Pigeon-Hole Principle and the Ordering Principle. Finally, possible extensions and generalisations of SP will be discussed, plus some open questions.

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:

https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: July 16, 2021 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================