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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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.☆84Apr 15, 2026Updated 3 months ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated 2 years ago
- Algorithms course project to implement branch and bound algorithm on minimum vertex cover problem.☆10Aug 5, 2019Updated 6 years ago
- ☆15Jan 22, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Matlab Implenmentation of 5G NR MIMO Sphere Decoder☆17Jan 12, 2022Updated 4 years ago
- Implementation of Sparse Regression Codes (SPARCs)/Sparse Superposition Codes for communications over the AWGN channel.☆14Nov 23, 2021Updated 4 years ago
- vertex cover solver☆31Nov 8, 2019Updated 6 years ago
- %本次 仿真PUCCH 链路信道估计,频域上取1个资源块,子载波间隔deltaf=15kHz %由于传输时以子帧为单位的,所以仿真时时域上取一个子帧,即两个时隙 %对于普通CP,一个时隙中的第一个符号CP=160,其余符号CP=144 %子载波subcarrier之间的导频间…☆13Mar 30, 2015Updated 11 years ago
- Short writeups/solvers for interesting CTF challenges.☆16Nov 12, 2022Updated 3 years ago
- CrowdOS☆10Jun 22, 2021Updated 5 years ago
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Jun 14, 2022Updated 4 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Unified TileLink Memory Subsystem Tester for XiangShan☆16Updated this week
- Multi-way graph partitioning algorithms: FMS (Fiduccia-Mattheyses-Sanchis), PLM (Partitioning by Locked Moves), PFM (Partitioning by Free…☆38Dec 27, 2025Updated 6 months ago
- I am currently a Senior Researcher at L3S Research Center, Leibniz University Hannover, Germany.☆24May 17, 2021Updated 5 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 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 10 months ago
- Matlab implementation of the Sphere Decoder by A. Ghasemmehdi and E. Agrell [2011]☆21Dec 1, 2014Updated 11 years ago
- ☆10Sep 14, 2021Updated 4 years ago
- ☆16May 1, 2026Updated 2 months ago
- ☆17Jul 11, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- yet another model checker☆26Jun 10, 2026Updated last month
- my algorithm course experiment in nwpu☆15Sep 30, 2022Updated 3 years ago
- Source code for "TeaRAG: A Token-Efficient Agentic Retrieval-Augmented Generation Framework"☆22Jul 2, 2026Updated 2 weeks ago
- C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".☆18Feb 14, 2024Updated 2 years ago
- 基于boost.asio网络库的简易TCP服务端☆13Dec 18, 2017Updated 8 years ago
- Learning to solve Minimum Vertex Cover using Graph Convolutional Networks and RL☆78Apr 8, 2019Updated 7 years ago
- Official implementation for "Pruning Large Language Models with Semi-Structural Adaptive Sparse Training" (AAAI 2025)☆19Jul 1, 2025Updated last year
- 2022华为软件精英挑战赛 - 杭厦赛区 - 土豪法称霸杭厦 - 决赛季军☆14Jul 31, 2023Updated 2 years ago
- ☆13May 16, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Trajectory planning library☆27Apr 3, 2025Updated last year
- UCAS-2022秋季学期计算机算法设计与分析(刘玉贵老师)课程资料总结☆24Dec 29, 2022Updated 3 years ago
- ☆10Jan 26, 2021Updated 5 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 3 years ago
- ☆21Nov 13, 2018Updated 7 years ago
- cpp-amalgamate recursively combines C++ source files and the headers they include into a single output file☆33Jun 7, 2022Updated 4 years ago
- Algorithm-System Co-design: accurate and efficient 2-bit KV cache quantization for LLM Inference.☆17May 20, 2026Updated 2 months ago