ppSAT: Towards Two-Party Private SAT Solving
ppSAT: Towards Two-Party Private SAT Solving
复制标题
ppSAT：迈向两方私人 SAT 解决方案
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Wang, X
中科院分区：
文献类型：
--
作者：
Luo, N;Judson, S;Antonopoulos, T;Piskac, R;Wang, X
登录
查看更多内容
纯粹简约的单倍型推断：一项调查
DOI：
10.1089/cmb.2009.0101
发表时间：
2010
期刊：
Journal of computational biology : a journal of computational molecular cell biology
影响因子：
--
作者：
Ana Graça;I. Lynce;Joao Marques;Arlindo L. Oliveira
通讯作者：
Arlindo L. Oliveira
生物信息学 SAT：利用单倍型推断进行论证
DOI：
--
发表时间：
2006
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
I. Lynce;Joao Marques
通讯作者：
Joao Marques
通过差分私人泄漏更便宜的私人设置交叉点
影响因子：
--
作者：
Groce, Adam;Rindal, Peter;Rosulek, Mike
通讯作者：
Rosulek, Mike
面向知识的安全多方计算
DOI：
10.1145/2336717.2336719
发表时间：
2012
期刊：
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
影响因子：
--
作者：
Piotr (Peter) Mardziel;M. Hicks;Jonathan Katz;M. Srivatsa
通讯作者：
M. Srivatsa
影响因子：
9.8
作者：
Marchini, J;Cutler, D;Donnelly, P
通讯作者：
Donnelly, P