zzwonder

Rice CS Ph.D. student

Pinned Repositories

TSP-GNN
Graph Neural Network architecture to solve the decision variant of the Traveling Salesperson Problem (is there a Hamiltonian tour in G with up to a given cost?)
Language:Python116 7 325
approxmc
Approximate Model Counter
Language:C++70 7 3625
509_Project
A SAT solver based on DBLL
Language:TeX0 1 00
cudd
a modification of CUDD used in DPMS
Language:C00
DPMaxSAT
A symbolic generalized MaxSAT solver based on dynamic programming
Language:C++1 2 31
FourierSAT
Language:Python2 2 00
GradSAT
Language:C00
MixingPP
An accelerated version of the Mixing Method, an SDP-based MaxSAT/MaxCut Solver
Language:C00
PMVC
Language:Python2 1 00
Valiants-Algorithm-for-Learning-CNF-formulas
Language:Python00

zzwonder's Repositories

zzwonder/FourierSAT
Language:Python2 2 00
zzwonder/PMVC
Language:Python2 1 00
zzwonder/DPMaxSAT
A symbolic generalized MaxSAT solver based on dynamic programming
Language:C++1 2 31
zzwonder/509_Project
A SAT solver based on DBLL
Language:TeX0 1 00
zzwonder/cudd
a modification of CUDD used in DPMS
Language:C00
zzwonder/GradSAT
Language:C00
zzwonder/MixingPP
An accelerated version of the Mixing Method, an SDP-based MaxSAT/MaxCut Solver
Language:C00
zzwonder/Valiants-Algorithm-for-Learning-CNF-formulas
Language:Python00