Login / Signup
The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability.
Thomas Bläsius
Tobias Friedrich
Andreas Göbel
Jordi Levy
Ralf Rothenberger
Published in:
SODA (2021)
Keyphrases
</>
computational complexity
geometry theorem proving
three dimensional
phase transition
decision procedures
satisfiability problem
propositional logic
database
data sets
computer vision
lower bound
evolutionary algorithm
worst case
single image
presburger arithmetic
random constraint satisfaction problems