skip to main content


Search for: All records

Award ID contains: 1644368

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. To tackle problems that can not be solved by current digital computers, many systems propose ideas from physics and neuroscience. The CTDS solver introduced by Ercsey-Ravasz and Toroczkai is one of such system. It solves the satisfiability problem by reducing it to a minimization of a time-varying target function. Although the possibility of an efficient electric circuit implementation of the solver has been shown, in terms of physical realizations, the solver has a problem of unbounded variations of the target function parameters. Here we propose a variant of the solver with bounded target function parameters. It includes several possible modifications of the solver in system parameter differences. We also show the basic characteristics of the solver, the upper and lower bounds of the target function parameters. 
    more » « less
  2. To tackle problems that can not be solved by current digital computers, many systems propose ideas from physics and neuroscience. The CTDS solver introduced by Ercsey-Ravasz and Toroczkai is one of such system. It solves the satisfiability problem by reducing it to a minimization of a time-varying target function. Although the possibility of an efficient electric circuit implementation of the solver has been shown, in terms of physical realizations, the solver has a problem of unbounded variations of the target function parameters. Here we propose a variant of the solver with bounded target function parameters. It includes several possible modifications of the solver in system parameter differences. We also show the basic characteristics of the solver, the upper and lower bounds of the target function parameters. 
    more » « less