Author:Michail Karatarakis

Publications
A Formalized Neurodynamic Solver for N-Queens Completion Michail Karatarakis In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Formalized Hopfield Networks and Boltzmann Machines Matteo Cipollina, Michail Karatarakis and Freek Wiedijk In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning