Heuristic-based backtracking relaxation for propositional satisfiability

被引：0

作者：

Bhalla, Ateet ^{[1
]}

Lynce, Inês ^{[1
]}

De Sousa, José T. ^{[1
]}

Marques-Silva, João ^{[1
]}

机构：

[1] Technical University of Lisbon, IST/INESC-ID, Rua Alves Redol 9, 1000-029, Lisbon, Portugal

来源：

Journal of Automated Reasoning | 2005年 / 35卷 / 1-3期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：3 / 24