logarithm1993's repositories

BinaryNet

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

PD2016_final

cad contest 2015, problem D

Language:PrologStargazers:0Issues:0Issues:0
Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0