Thumbnail
Access Restriction
Subscribed

Author Lin, P.-C.K. ♦ Mandal, A. ♦ Khatri, S.P.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2012
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations
Subject Keyword Tin ♦ Vectors ♦ Additives ♦ Signal to noise ratio ♦ TV ♦ Correlation ♦ noise based logic ♦ Boolean Satisfiability
Abstract Noise-based Logic (NBL) is a probabilistic logic system which can be used to simultaneously apply a superposition of arbitrarily many input vectors to a SAT instance. Using this property, we can determine whether an instance is SAT in a single operation. A satisfying solution can be found by iteratively performing SAT checks up to n times, where n is the number of variables in the SAT instance. In this paper, we formulate NBL-based SAT, and discuss its scalability. The NBL-based SAT engine has been simulated in software for validation purposes, although the focus of the paper is on the theory of NBL-based SAT.
Description Author affiliation: Texas A&M Univ., College Station, TX, USA (Lin, P.-C.K.; Mandal, A.; Khatri, S.P.)
ISBN 9781450311991
ISSN 0738100X
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2012-06-03
Publisher Place USA
Rights Holder Association for Computing Machinery, Inc. (ACM)
e-ISBN 9781450311991
Size (in Bytes) 206.56 kB
Page Count 2
Starting Page 1256
Ending Page 1257


Source: IEEE Xplore Digital Library