#求解器#

蔡少伟　196天前　

和朋友们合作的一个工作。大模型改写SAT求解器。需要继续探索。『AutoSAT —— 通过大语言模型自动优化SAT求解器！ - 知乎』AutoSAT #求解器# #llm#

蔡少伟　264天前　北京

以谱系看待研究方向，可以帮助我们系统地思考研究领域。 比如， 有精确求解器， 就有近似求解器， 有海量并行求解器， 就有轻量并行求解器， 有面向大规模问题的求解器， 就有面向小规模问题的求解器， 有大算力求解器， 就有小算力求解器，。。。 还可以正反看方向，比如， AI模型辅助求解器， 求 ...全文

蔡少伟　334天前　北京

我在2023年约束求解公开课讲 SAT编码和CDCL算法，2个多小时。 SAT问题，即命题逻辑可满足性问题，是数理逻辑的基础问题。 编码部分包括：组合问题的编码和时序问题的编码。 CDCL算法是SAT问题最主要的求解算法，介绍了其原理，关键技术，关键实现。 这个视频当中对CDCL算法的讲解是比较全面的一次。 ...全文

蔡少伟　450天前　北京

我这两年一直在呼吁，求解器性能要突破，不能停留在雕琢串行算法上（虽然核心算法很重要），这样不是说不可能突破，但是期望时间有点远，因为目前核心算法的研究并不是百花齐放，而是集中在个别成熟的方法上进行增量修改，而想提出新的方法又太依赖神奇的想法。如果要在串行算法上做研究，我们需要的是 ...全文

蔡少伟　537天前　北京

quite good, conceptually very clean， principled, easy to read, tidy… 这不就是我做求解器所追求的品味吗？感谢同行专家mate soos的认可。 记得我博士毕业答辩上，引用过算法大师Dijkstra的一句话： Elegance is simple and effective. 虽然谈不上做到，但偶有所获，沾点优雅气，也是很大的精神 ...全文

蔡少伟　593天前　北京

『约束求解器是什么？』🔗 约束求解器简介，分类，和应用场景。 转自 晞德求索 #求解器# #约束求解# 专栏 · 约束求解

智慧的共振需要相似的灵魂　87天前　玉林

344【我们】一起弄明白这个机器吧

蔡少伟　642天前　北京

一个师弟出来创业的数学求解公司，从工业软件尤其是EDA角度介绍求解器的一篇科普。『求解器——工业软件的核心引擎』求解器——工业软件的核心引擎 #求解器# #星光中心科普导师# #eda#

倖輻恏逺　183天前　孝感

求解(-🙏-)？ 这种耳环怎么带？ #耳环# #求解器# #银耳环#

唯爱大脸妹的方老壳　320天前　重庆

求解 如何忘掉心中的那个她 #求解器#

真的还想再活五百年123　341天前　大同

这个题是不是A， 求解，呼叫大佬#求解器#

Moldex3D模流分析　648天前　新竹市

发布了头条文章：《Moldex3D 模流分析求解器优化减少30%计算时间》 在#AI# 的趋势浪潮下，处理大量信息的需求涌现，进而带动#高效能运算# (HPC)平台或装置的快速发展。在模流分析领域，也不再受限于传统硬件规格不足的问题，透过HPC平台就能使模流分析广泛应用在塑料产品的开发阶段。 ...全文

科技行者　731天前　九江

【杉数科技拓荒国产「求解器」：用数学最优解，解商业最难题】就像图灵的计算破译了恩尼格玛密码机，改变了历史的进程，运筹学也是二战期间的产物。当时，合理分配稀缺紧张的军事资源是另一个计算难题，盟军为此请来大批科学家来破解这个极为复杂的管理困境。自那以后，一门结合数学与管理学的新学科— ...全文

蔡少伟　745天前　北京

什么是约束求解？（2）---什么是求解？ 【约束求解科普2】 “求解”，顾名思义就是解决问题。对于以数学语言表达的约束问题，就是求出问题的答案。从这个角度讲，手算得到答案也是求解。但是一份算法伪代码不是求解。需要把算法进行编程实现，具体运行程序去算出问题的答案，才完成求解。 求解器，一 ...全文

蔡少伟　787天前　北京

#约束求解# #求解器# #EDA# 从朋友传来SAT和MaxSAT比赛捷报。 SAT 2022比赛，我们团队获得并行主赛道冠军，遥遥领先其他求解器。我们设计了一种新型轻量级并行方法，突破了原有方法。这个值得截图。 此外， 我们在串行主赛道获得了亚军（和冠军求解个数相同，慢了几秒惜败）。不截图了。 MaxSAT 2 ...全文

蔡少伟　860天前　北京

什么是求解器？ 【约束求解科普3】 今天来拍个计算机领域的一个重要概念“求解器”(Solver)。 当下，大街上随便抓个人都听过“算法”，“软件”，“芯片”等计算机领域的基础概念。“求解器”也是一个广泛存在的概念，但不太为人所知。先说一个大家都熟悉的东西，“计算器”，对，就是最常见的办公用 ...全文

COMSOL中国　1476天前　

【提高 非线性 稳态模型的收敛性的7种有效方法】 解决方法 通常这类问题与用于求解非线性稳态模型的迭代算法有关。一般而言，该算法为牛顿法。也就是说，软件在求解时，求解器会从用户指定的初始值开始，计算所有与解相关的项。然后，软件计算一个初始解，并基于此迭代地重新计算解，同时分析这些中间 ...全文

留德华叫兽　1623天前　

发布了头条文章： #求解器# #整数规划# 《报道 | SCIP Optimization Suite 7.0正式发布！》 报道 | SCIP Optimization Suite 7.0正式发布！