Author of the publication

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

, , , , , and . SAT, volume 10929 of Lecture Notes in Computer Science, page 94-110. Springer, (2018)

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.

 

Other publications of authors with the same name

Improvement in minority attack detection with skewness in network traffic., and . Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, volume 6973 of SPIE Proceedings, page 69730N. SPIE, (2008)Performance enhancement of Intrusion Detection Systems using advances in sensor fusion., and . FUSION, page 1-7. IEEE, (2008)Machine Learning-Based Restart Policy for CDCL SAT Solvers., , , , , and . SAT, volume 10929 of Lecture Notes in Computer Science, page 94-110. Springer, (2018)Advanced sensor fusion technique for enhanced Intrusion Detection., and . ISI, page 173-178. IEEE, (2008)XAI for intrusion detection system: comparing explanations based on global and local scope., , , , and . J. Comput. Virol. Hacking Tech., 19 (2): 217-239 (June 2023)Game theoretical analysis of usable security and privacy., , and . Secur. Priv., (2021)Selection of intrusion detection system threshold bounds for effective sensor fusion., and . Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, volume 6570 of SPIE Proceedings, page 657007. SPIE, (2007)A Survey on Metamorphic Malware Detection based on Hidden Markov Model., and . ICACCI, page 357-362. IEEE, (2018)Usefulness of DARPA dataset for intrusion detection system evaluation., , and . Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, volume 6973 of SPIE Proceedings, page 69730G. SPIE, (2008)Ontology-Based Emotional Decision-Making in Self-Evolving Defensive Agents., and . IEEE Access, (2022)