Skip to content Skip to main navigation Report an accessibility issue

EECS Publication

Simulation of Analog Solution of Boolean Satisfiability

R. Joseph Connor and Jeremy Holleman and Bruce J. MacLennan and Jared M. Smith

We present an analog implementation of a dynamical system for solving Boolean satisfiability, an NP-complete problem. Simulations of modest-sized hardware implementations in the presence of noise and integrator offset demonstrate that the algorithm is suitable for implementation in analog electronics.

Published  2015-09-29 04:00:00  as  ut-eecs-15-735 (ID:593)


« Back to Listing