Search for a command to run...
SATNet : Pont entre l'apprentissage profond et le raisonnement logique à l'aide d'un solveur de satisfaisabilité différentiable