• 已选条件:
  • × Academic Journals
  • × computer science
 全选  【符合条件的数据共:1条】

来源:International Journal of Physical Sciences , 2011

作者:Eric Monfroy

关键词:Boolean satisfiability problem (SAT);computer science;...

使用许可:CC BY

预览  |  原文链接  |  全文  [ 浏览:5 下载:1  ]