Login / Signup

SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle.

Rahul Ilango
Published in: FOCS (2023)
Keyphrases
  • phase transition
  • high speed
  • satisfiability problem
  • search strategies
  • genetic algorithm
  • maximum number