Solving subset sum and SAT problems by reaction systems.

Bogdan Aman Gabriel Ciobanu

Published in: Nat. Comput. (2024)

Keyphrases

sat problem
sat solving
constraint satisfaction problems
np complete problems
computational complexity
np complete
constraint satisfaction
sat instances