Advantages and limitations of Dual-Rail MaxSAT

Advantages and limitations of Dual-Rail MaxSAT

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


Duration: 38:38
160 views
4

Maria Bonet (Universitat Politècnica de Catalunya)
https://simons.berkeley.edu/talks/theory-encodings
Theoretical Foundations of SAT/SMT Solving



Other Videos By Simons Institute for the Theory of Computing


2021-05-20Pseudo-Boolean Solving: In Between SAT and ILP
2021-05-20Searching Inside the Box: A Continuous-Local-Search Approach for Hybrid SAT Solving
2021-05-20Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
2021-05-20Using Resolution and Cutting Planes for Verification of Nonlinear Bit-Vector Properties
2021-05-20The Proof Complexity of Integer Programming
2021-05-20Hard Examples for Common Variable Decision Heuristics
2021-05-19Non-Automatability: When Finding Proofs Is Provably Hard
2021-05-19Hard Formulas in Proof Complexity by Composition
2021-05-19Proof Complexity meets Finite Model Theory
2021-05-18Encodings and Consistency from a Constraint Programming Perspective
2021-05-18Advantages and limitations of Dual-Rail MaxSAT
2021-05-18Representing problems to SAT solvers: basic theory, basic questions
2021-05-17Structural Parameters - Heterogeneity and Geometry
2021-05-17Algorithmic utilization of structure in SAT instances
2021-05-17On the Formal Characterization of Industrial SAT Instances
2021-05-16On Using Structural Properties to Improve CDCL Solver Performance
2021-05-16Towards an (Experimental) Understanding of SAT Solvers
2021-05-16Perspectives on Practice and Theory of SAT Solving
2021-05-14Abstract Value Iteration for Hierarchical Reinforcement Learning
2021-05-14A Negotiation Procedure for Distributed Reactive Synthesis
2021-05-14Theoretically Speaking — A Panel Discussion on the Film Coded Bias


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Theoretical Foundations of SAT/SMT Solving
Maria Bonet