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 ...
ABSTRACT: Accurate prediction of malaria incidence is indispensable in helping policy makers and decision makers intervene before the onset of an outbreak and potentially save lives. Various ...
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 ...
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 ...
Abstract: A modified Hopfield Artificial Neural Network is proposed to solve effectively and efficiently Boolean Satisfiability (SAT) NP-hard problems. The proposed Neural Network is compared against ...
This document gives an overview of the SAT problem, and how to use a SAT solver to solve a given problem. It is intended for users of such solvers. It does not describe strategies, algorithms or ...
Electronic Design Automation: design tools for embedded systems, hardware-software integration, digital circuit theory, synthesis and verification of digital systems. “Power Analysis for Embedded ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results