华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater
☆14Sep 19, 2023Updated 3 years ago
Alternatives and similar repositories for HUST-SAT_solver_embedded_in_hanidoku
Users that are interested in HUST-SAT_solver_embedded_in_hanidoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HUST-CS-2019 程序设计综合课程设计-数据结构课设：基于高级语言源程序格式处理工具☆15Oct 25, 2022Updated 3 years ago
- 这是2025年秋华中科技大学计算机网络实验本硕博，智科，大数据的计网实验SDN☆31Nov 7, 2025Updated 11 months ago
- 华中科技大学操作系统实验☆27Mar 4, 2024Updated 2 years ago
- 华中科技大学大数据分析实验2019级☆11Jan 16, 2022Updated 4 years ago
- 华中科技大学计算机系统基础实验报告以及源代码☆13Jun 12, 2024Updated 2 years ago
- 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.
- 华中科技大学计算机学院2021级大数据专业课程资料（2021-2024）☆49Mar 28, 2025Updated last year
- Exploiting Inter-sample and Inter-feature Relations in Dataset Distillation (CVPR24)☆10Jun 16, 2024Updated 2 years ago
- 华中科技大学计算机系统基础实验报告（共64页）☆20Nov 18, 2023Updated 2 years ago
- [AAAI 2026] AutoTool: Efficient Tool Selection for Large Language Model Agents☆47Dec 28, 2025Updated 9 months ago
- 华科22级数电logisim实验，交通信号灯设计☆10Apr 30, 2024Updated 2 years ago
- Craw steam comment;Craw Googleplay commentCraw Appstore comment;☆12Jan 12, 2024Updated 2 years ago
- Dataset Distillation via Committee Voting☆17Jul 28, 2025Updated last year
- [NeurIPS 2025] Dataset Distillation of 3D Point Clouds via Distribution Matching☆15May 13, 2026Updated 4 months ago
- 华中科技大学数据结构实验报告☆13Dec 10, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 华中科技大学 计算机学科学与技术学院 实验资料 课程设计资料☆14Jul 3, 2022Updated 4 years ago
- 华中科技大学java语言程序设计作业题，包括基础题和编程题☆18May 15, 2020Updated 6 years ago
- 基于SAT的二进制数独游戏求解程序-基准版☆18Mar 3, 2022Updated 4 years ago
- Official Implementation of paper "Distilling Long-tailed Datasets" [CVPR 2025]☆25Aug 13, 2025Updated last year
- AAAI 2024, M3D: Dataset Condensation by Minimizing Maximum Mean Discrepancy☆26Mar 2, 2024Updated 2 years ago
- Code of Semantic Point Cloud Upsampling (SPU) published on IEEE Transactions on Multimedia.☆23Apr 23, 2022Updated 4 years ago
- 华中科技大学操作系统实验 riscv-pke☆37Jan 4, 2022Updated 4 years ago
- ☆46Oct 20, 2023Updated 2 years ago
- Robomaster summer camp 2018 不同颜色的色块识别/黑线循迹☆11Oct 27, 2019Updated 6 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.
- 🐱 你的二次元赛博哈基米 | 基于 LLM 的智能化番剧管理与分析助手。支持 Bangumi 数据同步、AI 深度画像分析、年度总结海报生成与个性化推荐。☆29Sep 30, 2026Updated last week
- 华中科技大学计算机学院计算机组成原理实验☆14Jan 18, 2022Updated 4 years ago
- This repository contains the leaked source code of Anthropic's Claude Code CLI, which was exposed via a .map file on the npm registry on …☆18Mar 31, 2026Updated 6 months ago
- ☆17Aug 16, 2019Updated 7 years ago
- 华中科技大学计算机学院20级实验报告/代码——汇编实验；机器学习；计算机系统基础；算法实验；游戏设计；组原；计算机网络；软件工程；数据库；计算机视觉；操作系统课设☆51Dec 16, 2023Updated 2 years ago
- 华中科技大学狼牙战队 RoboMaster 2023赛季 雷达站☆26May 10, 2024Updated 2 years ago
- 华中科技大学数据结构课程设计，基于SAT的二进制数独求解☆12Jun 28, 2021Updated 5 years ago
- 基于opencv的手势识别（动态）☆24Feb 9, 2020Updated 6 years ago
- 华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem☆36Sep 4, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- C/C++ language practice for undergraduates of hust.cs☆21Feb 19, 2026Updated 7 months ago
- 华中科技大学机器学习作业&课设. Solutions to HUST ML class tasks.☆88Nov 23, 2021Updated 4 years ago
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现☆18Nov 3, 2022Updated 3 years ago
- 华科寝室简易门禁☆30Mar 30, 2022Updated 4 years ago
- [ICASSP 2022] FDSNet: An Accurate Real-Time Surface Defect Segmentation Network☆43Oct 17, 2024Updated last year
- HUST-SSE Software-Engineering-Curriculum-Design: Translation Miniprogram | 华中科技大学软件学院软件工程课设：机器翻译小程序☆25Aug 16, 2023Updated 3 years ago
- 这是本人在华中科技大学的学习记录和道具☆78Sep 10, 2025Updated last year