( en | de | ru )

 

Disambiguation of "Nejati, Saeed"

Author of the publication

copydeleteadd this publication to your clipboard
Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

, , , , and . SETTA, volume 13649 of Lecture Notes in Computer Science, page 227-233. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mahmoud Nejati

Semiramis Saeed-Akbari

Sajjad Saeed

Abdulla Saeed Hizam

Muhammad Farhan Saeed

 

Other publications of authors with the same name

Impact of diminished-1 encoding on residue number systems arithmetic units and converters., , and . Comput. Electr. Eng., (2019)A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers., , and . CP, volume 12333 of Lecture Notes in Computer Science, page 899-916. Springer, (2020)Online Bayesian Moment Matching based SAT Solver Heuristics., , , , and . ICML, volume 119 of Proceedings of Machine Learning Research, page 2710-2719. PMLR, (2020)MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers., , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 303-325. Springer, (2021)Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way)., , , and . WOOT, USENIX Association, (2016)Publisher Correction: Algorithm selection for SMT., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (5): 799-800 (December 2023)CDCL(Crypto) SAT Solvers for Cryptanalysis., and . CoRR, (2020)Diversifying a Parallel SAT Solver with Bayesian Moment Matching., , , , and . SETTA, volume 13649 of Lecture Notes in Computer Science, page 227-233. Springer, (2022)A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers., , , , , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 251-260. Springer, (2017)CDCL(Crypto) SAT solvers for cryptanalysis., and . CASCON, page 311-316. ACM, (2019)