Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection



Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 8, 2022 15:45–16:30, Moscow, MSU Lomonosov Hall 		 

Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms

A. A. Semenov, S. E. Kochemazov
Video records:
MP4 892.9 Mb
Supplementary materials:
Adobe PDF 2.7 Mb
Adobe PDF 1.7 Mb

Number of views:
This page:137
Video files:22
Materials:5




Supplementary materials: СеменовАА_КочемазовСЕ.pdf (2.7 Mb) , СеменовАА_КочемазовСЕ_updated.pdf (1.7 Mb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024