|
VIDEO LIBRARY |
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
|
|||
|
Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms A. A. Semenov, S. E. Kochemazov |
|||
|