Structure of SAT Instances
APA
(2021). Structure of SAT Instances. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/tbd-264
MLA
Structure of SAT Instances. The Simons Institute for the Theory of Computing, Feb. 17, 2021, https://simons.berkeley.edu/talks/tbd-264
BibTex
@misc{ scivideos_17236, doi = {}, url = {https://simons.berkeley.edu/talks/tbd-264}, author = {}, keywords = {}, language = {en}, title = {Structure of SAT Instances}, publisher = {The Simons Institute for the Theory of Computing}, year = {2021}, month = {feb}, note = {17236 see, \url{https://scivideos.org/index.php/Simons-Institute/17236}} }
Jordi Levy (Artificial Intelligence Research Institute, Spanish National Research Council), Stefan Szeidar (TU Wien), and Ralf Rothenberger (University of Potsdam)
Talk number17236
Source RepositorySimons Institute
Subject