Abstract: We address a new segmented channel routing problem with pin rearrangements in FPGA technology. In our routing model, the pins in each module have a certain degree of freedom to be rearranged ...
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 ...
Specialized function gradient computing hardware could greatly improve the performance of state-of-the-art optimization algorithms. Prior work on such hardware, performed in the context of Ising ...
In this paper we consider the scalability of multi-angle QAOA with respect to the number of QAOA layers. We found that MA-QAOA is able to significantly reduce the depth of QAOA circuits, by a factor ...
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 ...
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