KMS

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
ESAMPLER: Boosting sampling of satisfying assignments for Boolean formulas via derivation 期刊论文
JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 卷号: 129
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2750Kb)  |  收藏  |  浏览/下载:361/0  |  提交时间:2022/07/15
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2466Kb)  |  收藏  |  浏览/下载:321/0  |  提交时间:2021/12/17
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页