Saeed Nejati
University of Waterloo
H-index: 9
North America-Canada
Top articles of Saeed Nejati
Publisher Correction: Algorithm selection for SMT
International Journal on Software Tools for Technology Transfer
2023/12
Algorithm selection for SMT: MachSMT: machine learning driven algorithm selection for SMT solvers
International Journal on Software Tools for Technology Transfer
2023/4
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
2022/12/10
MachSMT: A machine learning-based algorithm selector for SMT solvers
Tools and Algorithms for the Construction and Analysis of Systems
2020
New concurrent and distributed painless solvers: p-mcomsps, p-mcomsps-com, p-mcomsps-mpi, and p-mcomsps-com-mpi
SAT COMPETITION
2021
Saeed Nejati
H-Index: 5
Vijay Ganesh
H-Index: 25
Online bayesian moment matching based sat solver heuristics
2020/11/21
Cdcl (crypto) sat solvers for cryptanalysis
arXiv preprint arXiv:2005.13415
2020/5/27
Saeed Nejati
H-Index: 5
Vijay Ganesh
H-Index: 25
Cdcl (crypto) and machine learning based sat solvers for cryptanalysis
2020/5/15
Saeed Nejati
H-Index: 5
A machine learning based splitting heuristic for divide-and-conquer solvers
2020
Saeed Nejati
H-Index: 5
Vijay Ganesh
H-Index: 25
Lam’s problem benchmarks for the SAT competition 2020
SAT COMPETITION 2020
2020
Co-Authors
