On a simple hard variant of Not-All-Equal 3-Sat.

Andreas Darmann Janosch Döcker

Published in: Theor. Comput. Sci. (2020)

Keyphrases

information retrieval
search algorithm
expert systems
search space
neural network
computational complexity
special case
constraint satisfaction
temporal logic