受强制性开放获取政策约束的文章 - Saeed Nejati了解详情
可在其他位置公开访问的文章：4 篇
MachSMT: A machine learning-based algorithm selector for SMT solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Conference on Tools and Algorithms for the Construction and …, 2021
强制性开放获取政策： US Department of Defense
Algebraic fault attack on SHA hash functions using programmatic SAT solvers
S Nejati, J Horáček, C Gebotys, V Ganesh
Principles and Practice of Constraint Programming: 24th International …, 2018
强制性开放获取政策： German Research Foundation
Algorithm selection for SMT: MachSMT: machine learning driven algorithm selection for SMT solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Journal on Software Tools for Technology Transfer 25 (2), 219-239, 2023
强制性开放获取政策： US Department of Defense
Online bayesian moment matching based sat solver heuristics
H Duan, S Nejati, G Trimponias, P Poupart, V Ganesh
International Conference on Machine Learning, 2710-2719, 2020
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
出版信息和资助信息由计算机程序自动确定