Using Knot Mosaics to Introduce Undergraduates to SAT.

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