牛翰网 - 每一份分享都能成就每一次喜悦
  • 智能工控
    • 智能开发
    • 数据结构与算法
    • 数据分析
    • 机器学习
    • 大模型
  • 编程开发
    • 后端开发
    • 前端开发
    • 移动开发
    • 数据库
  • 学习课程
  • 下载
  • 牛翰社区
发布
发布文章创建话题创建圈子发布帖子
开通会员
黄金会员
黄金会员
黄金会员开通黄金会员
  • 全站资源折扣购买
  • 部分内容免费阅读
  • 一对一技术指导
  • VIP用户专属QQ群
开通黄金会员
钻石会员
钻石会员
钻石会员开通钻石会员
  • 全站资源折扣购买
  • 部分内容免费阅读
  • 一对一技术指导
  • VIP用户专属QQ群
开通钻石会员
  • 登录
  • 注册
  • 智能工控
    • 智能开发
    • 数据结构与算法
    • 数据分析
    • 机器学习
    • 大模型
  • 编程开发
    • 后端开发
    • 前端开发
    • 移动开发
    • 数据库
  • 学习课程
  • 下载
  • 牛翰社区
开通会员 尊享会员权益
登录
注册
找回密码
用户封面
83
  • 更多资料
  • 搜索内容
92e7cbdc7c4c686a的头像-牛翰网
Losyi等级-LV1-牛翰网
关注私信
牛翰网 - 每一份分享都能成就每一次喜悦
  • 文章0
  • 收藏0
  • 评论0
  • 圈子0
  • 帖子2
  • 粉丝0

发布2
排序
  • 最新发布
  • 最近更新
  • 最新回复
  • 最多查看
  • 最高评分
  • 最多回复
  • 最多收藏
92e7cbdc7c4c686a的头像-牛翰网
Losyi等级-LV1-牛翰网
8个月前更新29次阅读
关注私信

2024秋华中科技大学数据结构课设:基于SAT(DPLL算法)的对角线数独游戏求解程序

待更新 完整源码将在结课后传到HUSTCS2024-SAT-DPLL-XSudoku
1 什么是SAT问题?
1.1 SAT问题简介
 SAT问题即命题逻辑公式的可满...
2024秋华中科技大学数据结构课设:基于SAT(DPLL算法)的对角线数独游戏求解程序-牛翰网2024秋华中科技大学数据结构课设:基于SAT(DPLL算法)的对角线数独游戏求解程序-牛翰网
编程算法
评分
回复分享
92e7cbdc7c4c686a的头像-牛翰网
Losyi等级-LV1-牛翰网
8个月前更新54次阅读
关注私信

【软考中级笔记】软件设计师易混知识点归纳

一、计算机系统
1.1 计算机硬件
1.2 计算机软件
1. 软件可靠性、可维护性、可用性
后端开发
评分
回复分享

  • 牛翰网 - 每一份分享都能成就每一次喜悦

    牛翰网是集人工智能、编程开发、数据与算法、数据库、软件下载的编程社区自媒体平台,秉着“每一份分享都能成就每一次喜悦!”的宗旨,欢迎各路牛人入驻牛翰分享、收受喜悦!
  • 免责声明 关于我们 友链申请  · 

    Copyright © 2024 · 牛翰网 · 苏ICP备2023048746号
    扫一扫加微信-牛翰网
  • 扫码加QQ群-牛翰网

    扫码加QQ群

    扫码加微信-牛翰网

    扫码加微信

发布文章创建话题创建圈子发布帖子
扫码添加微信-牛翰网
在手机上浏览此页面

登录
没有账号?立即注册
用户名或邮箱
登录密码
找回密码
注册
已有账号,立即登录
设置用户名
设置密码
重复密码