• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Using Knot Mosaics to Introduce Undergraduates to SAT.

Hannah Miller
Published in: SIGCSE (2) (2023)
Keyphrases
  • satisfiability problem
  • neural network
  • artificial intelligence
  • genetic algorithm
  • learning algorithm
  • search algorithm
  • b spline
  • search strategy
  • search strategies
  • control points