On the Structure of the Boolean Satisfiability Problem: A Survey.

Tasniem Nasser Al-Yahya Mohamed El Bachir Menai Hassan Mathkour

Published in: ACM Comput. Surv. (2023)

Keyphrases

data mining
neural network
database
information systems
multi agent
medical images
hierarchical structure
complex structures