Denis Bueno
Author
Alternate names Denis L. Bueno, Denis Bueno
Institution Sandia National Laboratories California
Past institutions Sandia National Laboratories California, University of Michigan–Ann Arbor, Sandia National Laboratories
H-index: 3
I10-index: 1
Works count: 14
Citations count: 36
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics
2017 · Marketa Illetskova, Alex Bertels, et al. · 2021 IEEE Symposium Series on Computational Intelligence (SSCI)
Detecting Traditional Packers, Decisively
2013 · Denis Bueno, Kevin J. Compton, et al. · Lecture notes in computer science
euforia: Complete Software Model Checking with Uninterpreted Functions
2019 · Denis Bueno, Karem A. Sakallah · Lecture notes in computer science