Semantic relevance
From MaRDI portal
Publication:2104509
Recommendations
- Semantic relatedness
- scientific article; zbMATH DE number 1973160
- Semantics
- scientific article; zbMATH DE number 4061203
- scientific article; zbMATH DE number 1231558
- scientific article; zbMATH DE number 4055572
- scientific article; zbMATH DE number 1157013
- scientific article; zbMATH DE number 2101978
Cites work
- A Machine-Oriented Logic Based on the Resolution Principle
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
- Axiom Pinpointing in General Tableaux
- Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
- Computing small clause normal forms
- Computing small unsatisfiable cores in satisfiability modulo theories
- Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
- Generalized completeness for SOS resolution and its application to a new notion of relevance
- Handbook of automated reasoning. In 2 vols
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- Investigations on autark assignments
- On computing the union of MUSes
- Paramodulation-based theorem proving
- Quantifying conflicts in propositional logic through prime implicates
- Redundancy in logic. I: CNF propositional formulae
- Resolution theorem proving
- The complexity of facets (and some facets of complexity)
- The complexity of facets resolved
- The complexity of logic-based abduction
Cited in
(2)
This page was built for publication: Semantic relevance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104509)
