自定义博客皮肤VIP专享

*博客头图：

点击选择上传的图片

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

点击选择上传的图片

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

点击选择上传的图片

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览取消提交

自定义博客皮肤

上一步保存

weixin_47241304的博客

原创春招面经大全

普通的。

2024-04-01 16:36:20 1227

原创使用pureSAT求解d=a+b，其中a和b为正整数

形式化方法，使用pureSAT求解d=a+b，其中a和b为正整数

2023-06-26 18:14:00 975 1

原创使用 pure SAT 求解 N-Queen 问题，并对比 SMT 的实现效率

N-Queen问题是经典的八皇后问题的推广，即在一个N×N的棋盘上放置N个皇后，使得任意两个皇后都不能在同一行、同一列或同一斜线上。这是一个NP完全问题，因此可以使用形式化方法中的pure SAT和SMT求解。本文使用 pure SAT 求解 N-Queen 问题, 并对比 PPT 中 SMT 的实现效率。

2023-06-26 18:02:22 643