One point to note is that humans have been in the loop for a while now so it is more the degree of their involvement that has changed over the years. As noted back in 1969 in Semi-Automated ...

Abstract: Deep neural networks are among the most successful artificial intelligence technologies making impact in a variety of practical applications. However, many concerns were raised about the ...

I moved to Carnegie Mellon University. This page is no longer maintained. Visit the link above for the new webpage. My current research focusses on two major challenges for SAT solving: 1) exploiting ...

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional ...

Electronic Design Automation: design tools for embedded systems, hardware-software integration, digital circuit theory, synthesis and verification of digital systems. “Power Analysis for Embedded ...