Articles with "boolean satisfiability" as a keyword



Training-free and stochastic magnetic tunnel junction-based restricted Boltzmann machine for Boolean satisfiability problem

Sign Up to like & get
recommendations!
Published in 2025 at "Applied Physics Letters"

DOI: 10.1063/5.0240005

Abstract: Traditional processors based on the von Neumann architecture are not efficient when dealing with combinatorial optimization problems, which has led to the proposal of unconventional algorithms and domain-specific computing architectures. Using probabilistic computing to implement… read more here.

Keywords: satisfiability problem; invertible logic; boolean satisfiability; magnetic tunnel ... See more keywords