Login / Signup
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
Lara Stoltenow
Barbara König
Sven Schneider
Andrea Corradini
Leen Lambers
Fernando Orejas
Published in:
CONCUR (2024)
Keyphrases
</>
sufficient conditions
databases
neural network
computational complexity
np complete
propositional logic
data sets
satisfiability problem
real world
information retrieval
hierarchical structure
phase transition
terminological reasoning