Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=UvIY5IQXTOA


Duration: 28:23
129 views
0

12th Innovations in Theoretical Computer Science Conference (ITCS 2021)
http://itcs-conf.org/

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

Olaf Beyersdorff (University of Jena)
Benjamin Böhm (University of Jena)



Other Videos By Simons Institute for the Theory of Computing


2021-01-15Polynomial-time trace reconstruction in the low deletion rate regime
2021-01-15Self-testing of a single quantum device under computational assumptions
2021-01-15Circular Trace Reconstruction
2021-01-15Comparison Graphs: a Unified Method for Uniformity Testing
2021-01-15Complexity measures on symmetric group and beyond
2021-01-15The Variable-Processor Cup Game
2021-01-15Even the Easiest(?) Graph Coloring Problem is not Easy in Streaming!
2021-01-15Approximately Strategyproof Tournament Rules in the Probabilistic Setting
2021-01-15A New Model for Ant Trail Formation and its Convergence Properties
2021-01-15The Quantum Supremacy Tsirelson Inequality
2021-01-15Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
2021-01-15A Polynomial Degree Bound on Equations for Non-rigid Matrices and Small Linear Circuits
2021-01-15The Strongish Planted Clique Hypothesis and Its Consequences
2021-01-15Pipeline Interventions
2021-01-15Pseudorandom Generators for Unbounded-Width Permutation Branching Programs
2021-01-15Sharp Threshold Rates for Random Codes
2021-01-15The Complexity of Finding Fair Independent Sets in Cycles
2021-01-15Algorithmic Persuasion with Evidence
2021-01-15Comparing computational entropies below majority (or: When is the dense model theorem false?)
2021-01-15The entropy of lies: playing twenty questions with a liar
2021-01-12Error Correcting Codes for Uncompressed Messages