cenyunuo Goto Github PK

alphazero_gomoku

An implementation of the AlphaZero algorithm for Gomoku (also called Gobang or Five in a Row)

analog-maxsat-solver

Many real-life optimization problems can be formulated in Boolean logic as MaxSAT. Here we present a continuous-time analog solver for MaxSAT and show that one can predict the maximum number of satisfiable constraints, often well before finding the optimal assignment.

analogsat

Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.

attention-learn-to-route

Attention based model for learning to solve different routing problems

dsd

DSD model zoo. Better accuracy models from DSD training on Imagenet with same model architecture

ee5907_2020fall_ca1

ee5907_2020fall_ca2

graph-convnet-tsp

Code for the paper 'An Efficient Graph Convolutional Network Technique for the Travelling Salesman Problem' (INFORMS Annual Meeting 2019)

hj-global-opt

hj-prox

ilp-sat-detailed-router

ILP SAT Detailed Router

lstech-maple

The improved version of Relaxed_LCMDCBDL_newTech, which enters SC21.

model-compression

model compression based on pytorch (1、quantization: 16/8/4/2 bits(dorefa/Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference)、ternary/binary value(twn/bnn/xnor-net)；2、 pruning: normal、regular and group convolutional channel pruning；3、 group convolution structure；4、batch-normalization folding for quantization)

pyprobsat

Python implementation of ProbSAT solver

pyqubo

Python DSL for constructing QUBOs from mathematical expressions.

qusat

A CDCL Solver Integrated with Quantum-Inspired Local Search

rbm

Simple tutorial code for Restricted Boltzmann Machines (RBM)

slising

Simulation of sliding windows annealing based on superparamagnetic tunnel junctions

spiking-restricted-boltzmann-machine

RBM implemented with spiking neurons in Python. Contrastive Divergence used to train the network.

tensorflow-rbm

Tensorflow implementation of the Restricted Boltzmann Machine

worker-instance-generator

Worker instance generator