华中科技大学计算机学院数据结构综合课程设计：基于SAT的对角线数独游戏求解程序
☆10Sep 12, 2024Updated 2 years ago
Alternatives and similar repositories for HUSTCS2024-SAT-DPLL-XSudoku
Users that are interested in HUSTCS2024-SAT-DPLL-XSudoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 华中科技大学2022级命令式计算原理☆14May 28, 2024Updated 2 years ago
- 华中科技大学计算机学院23级课程存档：C语言程序设计、计算思维、微积分、新生实践课、数据结构、程序设计综合课程设计、概率论与数理统计、离散数学、C++、大学物理、电路理论、人工智能导论、大数据分析、机器学习、算法设计与分析、计算机系统基础、计算机组成原理、逻辑与计算机系统设…☆147Jun 29, 2026Updated 3 months ago
- 华中科技大学数字逻辑与计算机设计基础实验☆13Jun 20, 2018Updated 8 years ago
- 华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计算机系统基础实验(CSAPP)，组原实验，计网，软件工程，操作系统、函数式编程，头歌☆241Sep 26, 2026Updated 3 weeks ago
- 这是本人在华中科技大学的学习记录和道具☆79Sep 10, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 华中科技大学计算机系统基础实验报告以及源代码☆13Jun 12, 2024Updated 2 years ago
- Dataset Distillation on 3D Point Clouds using Gradient Matching☆11Sep 12, 2023Updated 3 years ago
- Exploiting Inter-sample and Inter-feature Relations in Dataset Distillation (CVPR24)☆10Jun 16, 2024Updated 2 years ago
- 华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem☆36Sep 4, 2019Updated 7 years ago
- 一个华科计算机学院的资料集合☆673Aug 29, 2026Updated last month
- HUST-CS-2019 程序设计综合课程设计-数据结构课设：基于高级语言源程序格式处理工具☆15Oct 25, 2022Updated 3 years ago
- 华中科技大学数据结构课程设计，基于SAT的二进制数独求解☆12Jun 28, 2021Updated 5 years ago
- ☆13Jan 31, 2021Updated 5 years ago
- A rhythm game where you use four buttons to tap to the beat!☆13Aug 14, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 基于Socket的异步TCP服务器搭建的聊天室☆26Aug 2, 2017Updated 9 years ago
- Dataset Distillation via Committee Voting☆17Jul 28, 2025Updated last year
- HUST华中科技大学CS23课程记录：C语言程序设计、计算思维、微积分、线性代数、数据结构data structure、程序设计sat dpll sudoku、离散数学、军事理论、CPP/C++、习思想、人工智能导论、大学物理、数字电路、数电、电路理论、离散数学、算法设计与…☆190Sep 4, 2025Updated last year
- [NeurIPS 2025] Dataset Distillation of 3D Point Clouds via Distribution Matching☆15May 13, 2026Updated 5 months ago
- 华中科技大学计算机学院数据结构前三次实验全部，及第四实验报告，及课程设计SAT问题☆40Nov 13, 2019Updated 6 years ago
- A simulator which inspired by Noita☆16May 18, 2026Updated 5 months ago
- 华科22级数电logisim实验，交通信号灯设计☆10Apr 30, 2024Updated 2 years ago
- 这是2025年秋华中科技大学计算机网络实验本硕博，智科，大数据的计网实验SDN☆31Nov 7, 2025Updated 11 months ago
- 华中科技大学命令式计算原理作业☆20Nov 23, 2024Updated 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.
- 华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater☆14Sep 19, 2023Updated 3 years ago
- 华中科技大学计算机系统基础实验报告（共64页）☆20Nov 18, 2023Updated 2 years ago
- Official Implementation of paper "Distilling Long-tailed Datasets" [CVPR 2025]☆25Aug 13, 2025Updated last year
- 华中科技大学计算机网络实验☆19Apr 11, 2021Updated 5 years ago
- some of my own study notes related to IT.☆20Oct 7, 2026Updated 2 weeks ago
- 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
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆22Feb 20, 2023Updated 3 years ago
- 基于C语言socket网络编程完成的简单聊天室编写。☆29Mar 7, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A math library for Game Engines (Vector math to Sky models).☆14Mar 8, 2026Updated 7 months ago
- 华中科技大学计算机组成原理实验，lab of computer organization in HUST CS School.☆37May 4, 2019Updated 7 years ago
- Archived courses from the School of Computer Science and Technology, Huazhong University of Science and Technology.华中科技大学计算机学院已归档课程☆22Jun 22, 2023Updated 3 years ago
- Small code base containing a minimal vsthost☆13Nov 28, 2023Updated 2 years ago
- SDL2 based software rasterizer for use with the FNA library☆16Apr 29, 2022Updated 4 years ago
- ☆13Jul 23, 2019Updated 7 years ago
- An efficient hierarchical Graph-based RAG☆43Oct 5, 2026Updated 2 weeks ago