已收录 268921 条政策
分类导航
检索结果
已选条件:
Computer
<符合条件的数据共：2条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Sampling Techniques for Boolean Satisfiability
    颁布单位：[Rice University] |  颁布时间：2014 |  实施时间：2014 |  学科分类：[SAT, Uniform, generation, Model, counting, Sampling, techniques, Computer, aided, verification]
    预览  |  原文链接    [浏览：21 下载：5]
  • Semiautomatic simplification
    颁布单位：[University of Alberta] |  颁布时间：2000 |  实施时间：2000 |  学科分类：[Polygons, Image, processing--Digital, techniques, Computer, graphics]
    预览  |  原文链接    [浏览：4 下载：0]