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

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

[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

Grégoire, Éric; Mazure, Bertrand; Piette, Cédric

作者Grégoire, Éric; Mazure, Bertrand; Piette, Cédric
文件大小355.31KB
发表时间2008
DOI10.1109/ictai.2008.39
页码74-83

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