Saeed Nejati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SETTA | Diversifying a Parallel SAT Solver with Bayesian Moment Matching. | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
| 2021 | TACAS | MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
| 2020 | CP | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
| 2020 | ICML | Online Bayesian Moment Matching based SAT Solver Heuristics. | Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh |
| 2018 | CP | Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. | Saeed Nejati, Jan Horcek, Catherine H. Gebotys, Vijay Ganesh |
| 2017 | SAT | A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2011 | ACSSC | On building general modular adders from standard binary arithmetic components. | Ghassem Jaberipur, Behrooz Parhami, Saeed Nejati |