NP Satisfiability for Arrays as Powers.

Rodrigo Raya Viktor Kuncak

Published in: VMCAI (2022)

Keyphrases

np complete
computational complexity
satisfiability problem
sat problem
np hard
propositional logic
phase transition
decision procedures
cnf formula
satisfiability testing
constraint satisfaction problems
conjunctive normal form
terminological reasoning
information retrieval
search engine
data model