SAT solvers CDCL DPLL Proof assistants Isabelle/HOL;
机译:经过验证的SAT解算器框架,具有学习,忘记,重新启动和增量功能。
机译:验证的SAT Solver框架,具有学习,忘记,重启和增量。
机译:具有学习,忘记,重新启动和增量功能的经过验证的SAT解算器框架
机译:验证的SAT Solver框架,具有学习,忘记,重启和增量
机译:增量SAT和MAX-SAT近似技术的研究。
机译:蚂蚁学得很快不要忘记:福米卡的嗅觉学习记忆和消亡
机译:具有学习,忘记,重新启动和增量功能的经过验证的SAT解算器框架