Boolean satisfiability using noise based logic.

Pey-Chang Kent Lin Ayan Mandal Sunil P. Khatri

Published in: DAC (2012)

Keyphrases

boolean satisfiability
sat solvers
randomly generated
probabilistic planning
integer linear programming
branch and bound algorithm
sat solving
boolean optimization
sat problem
symmetry breaking
combinatorial problems
maximum satisfiability
phase transition
orders of magnitude
automated reasoning
genetic algorithm