Efficient Solution of Boolean Satisfiability Problems with Digital MemComputing.

Sean R. B. Bearden Yan Ru Pei Massimiliano Di Ventra

Published in: CoRR (2020)

Keyphrases

satisfiability problem
np complete
search algorithm
optimal solution
temporal logic
phase transition
search procedures
conjunctive normal form
orders of magnitude