Login / Signup
Consequences of Randomized Reductions from SAT to Time-Bounded Kolmogorov Complexity.
Halley Goldberg
Valentine Kabanets
Published in:
Electron. Colloquium Comput. Complex. (2024)
Keyphrases
</>
kolmogorov complexity
inductive inference
satisfiability problem
complexity measures
search algorithm
negative consequences
sat problem
data sets
sat solvers
sat instances
propositional satisfiability
phase transition
stochastic local search algorithms
learning models
efficient computation
max sat
stochastic local search
feature vectors