Kerry12342
Follow
Stars
C++ Code to compute the modular decomposition tree of an undirected graph
A Modular Library for Computing Tree Decompositions
Streamline Covert Channel Attack (presented in ASPLOS'21)
MindSpore is a new open source deep learning training/inference framework that could be used for mobile, edge and cloud scenarios.
A Parallel Graphlet Decomposition Library for Large Graphs
BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver