Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)
☆10Jan 15, 2022Updated 4 years ago
Alternatives and similar repositories for MetaVC
Users that are interested in MetaVC are comparing it to the libraries listed below
Sorting:
- Near-linear time algorithm for computing near-maximum independent set☆19Mar 19, 2022Updated 4 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆82Mar 12, 2026Updated last week
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Mar 6, 2026Updated 2 weeks ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated last year
- vertex cover solver☆31Nov 8, 2019Updated 6 years ago
- Short writeups/solvers for interesting CTF challenges.☆16Nov 12, 2022Updated 3 years ago
- Implementation of Sparse Regression Codes (SPARCs)/Sparse Superposition Codes for communications over the AWGN channel.☆13Nov 23, 2021Updated 4 years ago
- Matlab Implenmentation of 5G NR MIMO Sphere Decoder☆17Jan 12, 2022Updated 4 years ago
- Algorithms course project to implement branch and bound algorithm on minimum vertex cover problem.☆10Aug 5, 2019Updated 6 years ago
- CrowdOS☆11Jun 22, 2021Updated 4 years ago
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Jun 14, 2022Updated 3 years ago
- ☆15Jan 22, 2024Updated 2 years ago
- [ICLR 2026] Learning to Parallel: Accelerating Diffusion Large Language Models via Learnable Parallel Decoding☆31Jan 27, 2026Updated last month
- %本次仿真PUCCH 链路信道估计,频域上取1个资源块,子载波间隔deltaf=15kHz %由于传输时以子帧为单位的,所以仿真时时域上取一个子帧,即两个时隙 %对于普通CP,一个时隙中的第一个符号CP=160,其余符号CP=144 %子载波subcarrier之间的导频间…☆13Mar 30, 2015Updated 10 years ago
- JavaScript Machine Learning Toolkit☆26Dec 30, 2022Updated 3 years ago
- Numerical illustration of a novel analysis framework for consensus-based optimization (CBO) and numerical experiments demonstrating the p…☆20Nov 13, 2023Updated 2 years ago
- ☆18Jul 11, 2023Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 2 years ago
- yet another model checker☆21Updated this week
- Matlab implementation of the Sphere Decoder by A. Ghasemmehdi and E. Agrell [2011]☆20Dec 1, 2014Updated 11 years ago
- SRDNN channel estimation show more 1 dB gain under LTE EPA/ETU and 5G NR channels compare to MMSE channel estimation and ability to work …☆30Aug 27, 2025Updated 6 months ago
- [ICLR 2026 🔥] Official pytorch implementation for "Attention Is All You Need for KV Cache in Diffusion LLMs"☆37Jan 23, 2026Updated last month
- I am currently a Senior Researcher at L3S Research Center, Leibniz University Hannover, Germany.☆24May 17, 2021Updated 4 years ago
- [ICLR 2026] Official PyTorch implementation for "ReFusion: A Diffusion Large Language Model with Parallel Autoregressive Decoding"☆61Dec 26, 2025Updated 2 months ago
- Multi-way graph partitioning algorithms: FMS (Fiduccia-Mattheyses-Sanchis), PLM (Partitioning by Locked Moves), PFM (Partitioning by Free…☆38Dec 27, 2025Updated 2 months ago
- GPU-Accelerated Global Router☆29Nov 14, 2024Updated last year
- Learning to solve Minimum Vertex Cover using Graph Convolutional Networks and RL☆78Apr 8, 2019Updated 6 years ago
- Official implementation for "Pruning Large Language Models with Semi-Structural Adaptive Sparse Training" (AAAI 2025)☆18Jul 1, 2025Updated 8 months ago
- C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".☆17Feb 14, 2024Updated 2 years ago
- UCAS-2022秋季学期计算机算法设计与分析(刘玉贵老师)课程资料总结☆25Dec 29, 2022Updated 3 years ago
- ☆12May 16, 2025Updated 10 months ago
- Trajectory planning library☆25Apr 3, 2025Updated 11 months ago
- 2022华为软件精英挑战赛 - 杭厦赛区 - 土豪法称霸杭厦 - 决赛季军☆14Jul 31, 2023Updated 2 years ago
- ☆10Jan 26, 2021Updated 5 years ago
- ☆20Nov 13, 2018Updated 7 years ago
- my algorithm course experiment in nwpu☆15Sep 30, 2022Updated 3 years ago
- 基于boost.asio网络库的简易TCP服务端☆13Dec 18, 2017Updated 8 years ago
- ☆54Dec 10, 2025Updated 3 months ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago