Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.

Mnacho Echenim Nicolas Peltier

Published in: CoRR (2023)

Keyphrases

np complete
computational complexity
user defined
optimization problems
logic programming
neural network
constraint satisfaction problems
probabilistic logic
computational problems
relational structures