...ality logic with uninterpreted functions, satisfiability, DPLL procedure. [gap=183]关键词:平等逻辑解释的功能,可满足,DPLL过程。
基于12个网页-相关网页
布尔可满足性问题 Boolean satisfiability problem ; satisfiability ; Satisfiability problem ; Boolean Satisfiability
可满足的 satisfiable
可满足性问题 [数] satisfiability problem ; SAT ; SAT The Satisfiability Problem
不可满足的 [科技] unsatisfiable ; UNSAT
极小不可满足公式 minimal unsatisfiable formula
可满足公式 Satisfiable formulas
随机可满足性 Stochastic satisfiability
信息可满足性 information satisfiability
应用推荐