„Satisfiability threshold“

Suchergebnisse

15 Treffer

• Partition function estimation and phase transitions on random satisfiability problems
  Chatterjee, Arnab ; Coja-Oghlan, Amin ; Achlioptas, Dimitris 2025 Universitätsbibliothek Dortmund
• #SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank
  Limaye, Nutan ; Srinivasan, Adarsh ; Srinivasan, Srikanth 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Satisfiability Threshold For Random Linear Equations
  Ayre, Peter ; Coja-Oghlan, Amin ; Gao, Pu ; Müller, Noëla
• Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT
  Friedrich, Tobias ; Krohmer, Anton ; Rothenberger, Ralf ; Sauerwald, Thomas ; Sutton, Andrew M. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithms and Lower Bounds for De Morgan Formulas of Low-Communication Leaf Gates
  Kabanets, Valentine ; Koroth, Sajin ; Lu, Zhenjian ; Myrisiotis, Dimitrios ; Oliveira, Igor C. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satisfiability Thresholds for Regular Occupation Problems
  Panagiotou, Konstantinos ; Pasch, Matija 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Satisfiability Threshold for Non-Uniform Random 2-SAT
  Friedrich, Tobias ; Rothenberger, Ralf 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satisfiability and Derandomization for Small Polynomial Threshold Circuits
  Kabanets, Valentine ; Lu, Zhenjian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits
  Chen, Ruiwen ; Santhanam, Rahul ; Srinivasan, Srikanth 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A new upper bound for 3-SAT
  Diaz, Josep ; Kirousis, Lefteris ; Mitsche, Dieter ; Perez-Gimenez, Xavier 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A lower bound for the 4-satisfiability threshold
  Vorobyev, F. Yu.
• Schwellwert für die Lösbarkeit von zufälligen Gleichungssystemen über Z3
  Falke, Lutz ; Goerdt, Andreas ; Veselić, Ivan 2015 Universitätsbibliothek Chemnitz
• Satisfiability thresholds for non-uniform random k-SAT
  Rothenberger, Ralf ; Friedrich, Tobias ; Coja-Oghlan, Amin ; Buss, Samuel R. 2022 Universität Potsdam
• Satisfiability threshold of the random regular (s, c, k)-SAT problem
  Mo, Xiaoling ; Xu, Daoyun ; Yan, Kai ; Zhang, Zaijun
• Properties of the satisfiability threshold of the strictly d-regular random (3,2s)-SAT problem
  Wang, Yongping ; Xu, Daoyun