发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Preprocessing in Propositional Satisfiability Using Bounded (2,
<i>k</i>
)-Consistency on Regions with a Locally Difficult Constraint Setup

Preprocessing in Propositional Satisfiability Using Bounded (2, k )-Consistency on Regions with a Locally Difficult Constraint Setup

Surynek, Pavel

期刊名称International Journal on Artificial Intelligence Tools
作者Surynek, Pavel
卷第23卷
期第1期
印刷ISSN0218-2130
电子ISSN1793-6349
文件大小1051.03KB
发表时间2014-02
DOI10.1142/S0218213013500292

← 返回【学霸图书馆】主页